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.
Author(s): Richard Anstee, János Demetrovics (auth.), Klaus-Dieter Schewe, Bernhard Thalheim (eds.)
Series: Lecture Notes in Computer Science 1762
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 306
Tags: Database Management; Information Storage and Retrieval; Information Systems Applications (incl.Internet); Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs
Low Discrepancy Allocation of Two-Dimensional Data....Pages 1-12
A Family of Nested Query Languages for Semi-structured Data....Pages 13-30
Decomposition of Database Classes under Path Functional Dependencies and Onto Constraints....Pages 31-49
Imprecision and User Preferences in Multimedia Queries: A Generic Algebraic Approach....Pages 50-71
Maximal Expansions of Database Updates....Pages 72-87
Error-Correcting Keys in Relational Databases....Pages 88-93
Extension of the Relational Algebra to Probabilistic Complex Values....Pages 94-115
Persistent Turing Machines as a Model of Interactive Computation....Pages 116-135
On Interactions of Cardinality Constraints, Key, and Functional Dependencies....Pages 136-155
Capturing LOGSPACE over Hereditarily-Finite Sets....Pages 156-175
Non-situation Calculus and Database Systems....Pages 176-191
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance....Pages 192-213
Making Decision Trees More Accurate by Losing Information....Pages 214-225
High-Level Logic Programming....Pages 226-240
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases....Pages 241-259
Partial Evaluations in a Set-Theoretic Query Language for the WWW....Pages 260-274
Minimum Matrix Representation of Some Key System....Pages 275-287
Reflective Relational Machines Working on Homogeneous Databases....Pages 288-303
