Foundations of Information and Knowledge Systems First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings

This book constitutes the refereed proceedings of the First International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2000, held in Burg, Germany, in February 2000.The 14 revised full papers and four short papers were carefully reviewed and selected from a total of 45 submissions. Among the topics addressed are logical foundations and semantics of datamodels, dependency theory, integrity and security, temporal aspects, foundations of information systems design including Web-based information services, and query languages and optimization.

Low Discrepancy Allocation of Two-Dimensional Data.- A Family of Nested Query Languages for Semi-structured Data.- Decomposition of Database Classes under Path Functional Dependencies and Onto Constraints.- Imprecision and User Preferences in Multimedia Queries: A Generic Algebraic Approach.- Maximal Expansions of Database Updates.- Error-Correcting Keys in Relational Databases.- Extension of the Relational Algebra to Probabilistic Complex Values.- Persistent Turing Machines as a Model of Interactive Computation.- On Interactions of Cardinality Constraints, Key, and Functional Dependencies.- Capturing LOGSPACE over Hereditarily-Finite Sets.- Non-situation Calculus and Database Systems.- Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance.- Making Decision Trees More Accurate by Losing Information.- High-Level Logic Programming.- Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases.- Partial Evaluations in a Set-Theoretic Query Language for the WWW.- Minimum Matrix Representation of Some Key System.- Reflective Relational Machines Working on Homogeneous Databases.