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

Front Cover
Stephen J. Hegner
Springer Science & Business Media, Jan 25, 2006 - Computers - 331 pages

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, held 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.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

The Semijoin Algebra
1
Equational Constraint Solving Via a Restricted Form of Universal Quantification
2
Modeling the Evolution of Objects in Temporal Information Systems
22
Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel
43
Iterative Modification and Incremental Evaluation of Preference Queries
63
On the Number of Independent Functional Dependencies
83
A Proper Hierarchy in Higher Order Logics
92
Logic Programming Formalization Applications to P2P Data Integration and Complexity Results
116
Guarded Open Answer Set Programming with Generalized Literals
179
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
201
Consistency Checking Algorithms for Restricted UML Class Diagrams
219
Some Contributions to the Minimum Representation Problem of Key Systems
240
On Multivalued Dependencies in Fixed and Undetermined Universes
258
PreferenceBased Query Tuning Through RefinementEnlargement in a Formal Context
278
Processing Ranked Queries with the Minimum Space
294
Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm
313

The Nested List Normal Form for Functional and Multivalued Dependencies
137
Axiomatising Functional Dependencies for XML with Frequencies
159

Other editions - View all

Common terms and phrases

Bibliographic information