TY - BOOK AU - Schewe,Klaus-Dieter AU - Thalheim,Bernhard ED - SpringerLink (Online service) TI - Foundations of Information and Knowledge Systems: First International Symposium, FoIKS 2000 Burg, Germany, February 14–17, 2000 Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540465645 AV - QA76.9.D3 U1 - 005.74 23 PY - 2000/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Logic design KW - Database management KW - Information storage and retrieval systems KW - Information systems KW - Artificial intelligence KW - Computer Science KW - Database Management KW - Information Storage and Retrieval KW - Information Systems Applications (incl.Internet) KW - Artificial Intelligence (incl. Robotics) KW - Logics and Meanings of Programs N1 - 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 UR - http://dx.doi.org/10.1007/3-540-46564-2 ER -