Georg Gottlob (auth.), Dietmar Seipel, José María Turull-Torres (eds.)3540209654, 9783540209652, 9783540246275
The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 64 submissions. Among the topics covered are data integration, data security, logic programming and databases, relational reasoning, database queries, higher-order data models, updates, database views, OLAP, belief modeling, fixpoint computations, interaction schemes, plan databases, etc.
Table of contents :
Front Matter….Pages –
Hypergraph Transversals….Pages 1-5
Abstract State Machines: An Overview of the Project….Pages 6-13
Database Repair by Signed Formulae….Pages 14-30
Simplification of Integrity Constraints for Data Integration….Pages 31-48
On the Security of Individual Data….Pages 49-58
Implementing Ordered Choice Logic Programming Using Answer Set Solvers….Pages 59-77
Skyline Cardinality for Relational Processing….Pages 78-97
Query Answering and Containment for Regular Path Queries under Distortions….Pages 98-115
Weak Functional Dependencies in Higher-Order Datamodels….Pages 116-133
Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists….Pages 134-154
The Relative Complexity of Updates for a Class of Database Views….Pages 155-175
Equivalence of OLAP Dimension Schemas….Pages 176-195
A New Approach to Belief Modeling….Pages 196-212
Computer-Oriented Calculi of Sequent Trees….Pages 213-230
On Updates of Logic Programs: A Properties-Based Approach….Pages 231-241
Minimal Keys in Higher-Order Datamodels….Pages 242-251
Similarity Relational Calculus and Its Reduction to a Similarity Algebra….Pages 252-272
Challenges in Fixpoint Computation with Multisets….Pages 273-290
Towards a Generalized Interaction Scheme for Information Access….Pages 291-301
Plan Databases: Model and Algebra….Pages 302-319
Back Matter….Pages –
Reviews
There are no reviews yet.