Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Computer Science

Logic in Databases

International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings

Editors: Pedreschi, Dino, Zaniolo, Carlo (Eds.)

Free Preview

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70683-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-61814-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of an EC-US cooperative activity.
The volume presents 21 revised full papers selected from 49 submissions as well as 3 invited contributions and a summary of a panel discussion on deductive databases: challenges, opportunities and future directions. The retrospective survey on logic and databases by Jack Minker deserves a special mention: it is a 56-page overview and lists 357 references. The papers are organized in sections on uncertainty, temporal and spatial reasoning, updates, active databases, semantics, advanced applications, query evaluation, language extensions, and logic constructs and expressive power.

Table of contents (24 chapters)

Table of contents (24 chapters)
  • Logic and databases: A 20 year retrospective

    Pages 1-57

    Minker, Jack

  • A parametric approach to deductive databases with uncertainty

    Pages 59-81

    Lakshmanan, Laks V. S. (et al.)

  • A deductive database approach to planning in uncertain environments

    Pages 83-98

    Subrahmanian, V. S. (et al.)

  • Termination properties of spatial Datalog programs

    Pages 99-116

    Kuijpers, Bart (et al.)

  • Applying transition rules to bitemporal deductive databases for integrity constraint checking

    Pages 117-134

    Martín, Carme (et al.)

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70683-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-61814-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic in Databases
Book Subtitle
International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings
Editors
  • Dino Pedreschi
  • Carlo Zaniolo
Series Title
Lecture Notes in Computer Science
Series Volume
1154
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-70683-0
DOI
10.1007/BFb0031733
Softcover ISBN
978-3-540-61814-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 505
Topics