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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Seipel, Dietmar (Επιμελητής έκδοσης), Turull-Torres, José María (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2942
• Θέματα: 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.

Πίνακας περιεχομένων:

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