Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1154)
Included in the following conference series:
Conference proceedings info: LID 1996.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (24 papers)
-
Back Matter
Other volumes
-
Logic in Databases
Keywords
About this book
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.
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
DOI: https://doi.org/10.1007/BFb0031733
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-61814-0Published: 02 October 1996
eBook ISBN: 978-3-540-70683-0Published: 11 December 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 505
Topics: Database Management, Computer System Implementation, Mathematical Logic and Formal Languages, Information Storage and Retrieval, Artificial Intelligence
Industry Sectors: Aerospace, Biotechnology, Consumer Packaged Goods, Electronics, Engineering, Finance, Business & Banking, IT & Software, Law, Telecommunications