Inhaltsverzeichnis
Invited Talks. - Hypergraph Transversals. - Abstract State Machines: An Overview of the Project. - Regular Papers. - Database Repair by Signed Formulae. - Simplification of Integrity Constraints for Data Integration. - On the Security of Individual Data. - Implementing Ordered Choice Logic Programming Using Answer Set Solvers. - Skyline Cardinality for Relational Processing. - Query Answering and Containment for Regular Path Queries under Distortions. - Weak Functional Dependencies in Higher-Order Datamodels. - Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists. - The Relative Complexity of Updates for a Class of Database Views. - Equivalence of OLAP Dimension Schemas. - A New Approach to Belief Modeling. - Computer-Oriented Calculi of Sequent Trees. - On Updates of Logic Programs: A Properties-Based Approach. - Minimal Keys in Higher-Order Datamodels. - Similarity Relational Calculus and Its Reduction to a Similarity Algebra. - Challenges in Fixpoint Computation with Multisets. - Towards a Generalized Interaction Scheme for Information Access. - Plan Databases: Model and Algebra.
