Foundations of Information and Knowledge Systems: 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2006 held in Budapest, Hungary in February 2006. The 14 revised full papers presented together with three revised short papers and one invited paper were carefully reviewed and selected from 54 submissions. Among the topics covered are the theoretical foundations of information and knowledge systems, as well as mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory, and applications thereof for research on database and knowledge base theory. Front Matter....Pages - The Semijoin Algebra....Pages 1-1 Equational Constraint Solving Via a Restricted Form of Universal Quantification....Pages 2-21 Modeling the Evolution of Objects in Temporal Information Systems....Pages 22-42 Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel....Pages 43-62 Iterative Modification and Incremental Evaluation of Preference Queries....Pages 63-82 On the Number of Independent Functional Dependencies....Pages 83-91 Arity and Alternation: A Proper Hierarchy in Higher Order Logics....Pages 92-115 Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results....Pages 116-136 The Nested List Normal Form for Functional and Multivalued Dependencies....Pages 137-158 Axiomatising Functional Dependencies for XML with Frequencies....Pages 159-178 Guarded Open Answer Set Programming with Generalized Literals....Pages 179-200 Reasoning Support for Expressive Ontology Languages Using a Theorem Prover....Pages 201-218 Consistency Checking Algorithms for Restricted UML Class Diagrams....Pages 219-239 Some Contributions to the Minimum Representation Problem of Key Systems....Pages 240-257 On Multivalued Dependencies in Fixed and Undetermined Universes....Pages 258-277 Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context....Pages 278-293 Processing Ranked Queries with the Minimum Space....Pages 294-312 Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm....Pages 313-330 Back Matter....Pages - This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2006 held in Budapest, Hungary in February 2006. The 14 revised full papers presented together with 3 revised short papers and 1 invited paper were carefully reviewed and selected from 54 submissions. Among the topics covered are the theoretical foundations of information and knowledge systems, as well as mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory, and applications thereof for research on database and knowledge base theory Jürgen Dix, Stephen J. Hegner (eds.). Includes Bibliographical References And Index. Also Issued Online.