Foundations of Information and Knowledge Systems Third International Symposium, FoIKS 2004 Wilheminenburg Castle, Austria, February 17-20, 2004 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Seipel, Dietmar (Editor), Turull-Torres, José María (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 2942
• Subjects: Computer science.; Computers.; Computer logic.; Computer science > Mathematics.; Database management.; Information storage and retrieval.; User interfaces (Computer systems).; Computer Science.; Theory of Computation.; Database Management.; Logics and Meanings of Programs.; Discrete Mathematics in Computer Science.; Information Storage and Retrieval.; User Interfaces and Human Computer Interaction.

Table of Contents:

• 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.