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.
Author(s): Jack Minker (auth.), Dino Pedreschi, Carlo Zaniolo (eds.)
Series: Lecture Notes in Computer Science 1154
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 505
Tags: Database Management; Mathematical Logic and Formal Languages; Information Storage and Retrieval; Artificial Intelligence (incl. Robotics)
Logic and databases: A 20 year retrospective....Pages 1-57
A parametric approach to deductive databases with uncertainty....Pages 59-81
A deductive database approach to planning in uncertain environments....Pages 83-98
Termination properties of spatial Datalog programs....Pages 99-116
Applying transition rules to bitemporal deductive databases for integrity constraint checking....Pages 117-134
Towards a unified agent architecture that combines rationality with reactivity....Pages 135-149
Learning query rules for optimizing databases with update rules....Pages 151-172
Formal characterization of active databases....Pages 173-195
Nested transactions in a logical language for active rules....Pages 197-222
Deductive Databases: Challenges, opportunities and future directions....Pages 223-229
R-stable models for logic programs....Pages 231-243
The expressive power of partial models for disjunctive deductive databases....Pages 245-264
Stable model checking for disjunctive logic programs....Pages 265-278
Analysis of logic-based systems....Pages 279-301
An axiomatic interpretation of confidentiality demands in logic-based relational databases....Pages 303-319
Database query evaluation with the STARBASE method....Pages 321-342
The limits of fixed-order computation....Pages 343-363
The $$\mathcal{I}\mathcal{Q}$$ system: A deductive database Information Lens for reasoning about textual information....Pages 365-385
Arithmetic and aggregate operators in deductive object-oriented databases....Pages 387-397
Sequence Datalog: Declarative string manipulation in databases....Pages 399-413
Language extensions for semantic integration of deductive databases....Pages 415-434
Unification of bounded simple set terms in deductive databases....Pages 435-453
Expressiveness of semipositive logic programs with value invention....Pages 455-474
A more expressive deterministic query language with efficient symmetry-based choice construct....Pages 475-495
