Foundations of Information and Knowledge Systems

Inhalt

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.