05983nam 22008295 450 991014363870332120251116234013.03-540-46564-210.1007/3-540-46564-2(CKB)1000000000211207(SSID)ssj0000323263(PQKBManifestationID)11242981(PQKBTitleCode)TC0000323263(PQKBWorkID)10299386(PQKB)11141936(DE-He213)978-3-540-46564-5(MiAaPQ)EBC3072124(PPN)155175564(BIP)6417732(EXLCZ)99100000000021120720121227d2000 u| 0engurnn#008mamaatxtccrFoundations of Information and Knowledge Systems First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings /edited by Klaus-Dieter Schewe, Bernhard Thalheim1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (X, 306 p.)Lecture Notes in Computer Science,0302-9743 ;1762Bibliographic Level Mode of Issuance: Monograph3-540-67100-5 Includes bibliographical references and index.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.This volume contains the papers presented at the \First International Sym- sium on Foundations of Information and Knowledge Systems" (FoIKS 2000), which was held in Burg, Germany from February 14th to 17th, 2000. FoIKSis intendedto beabiannualeventfocussingontheoreticalfoundations ofinformationandknowledgesystems.Itaims to takeupthe oldtraditionofthe conferenceseries \MathematicalFundamentals ofDatabaseSystems" (MFDBS) which encouraged East-West collaboration in the e ld of database theory. F- mer MFDBS conferences were held in Dresden in 1987 (Springer LNCS 305, edited by Joachim Biskup, J anos Demetrovics, Jan Paredaens, and Bernhard Thalheim), in Visegr ad in 1989 (Springer LNCS 364, edited by J anos Demet- vics and Bernhard Thalheim), and in Rostock in 1991 (Springer LNCS 495, edited by Bernhard Thalheim, Jan os Demetrovics, and Hans-Detlef Gerhard). Another goal of the MFDBS conference series has always been to attract researchers working in mathematical e lds such as discrete mathematics, c- binatorics, logics, and nite model theory who are interested in applying their theories to researchon databaseand knowledgebase theory. To that end, FoIKS takes up the tradition of providing a forum for mathematical foundations in a speci c branch of computer science. A r st attempt to reestablish the MFDBS tradition was made in 1995 with a follow-up workshop \Semantics in Datab- es" to ICDT (Springer LNCS 1358, edited by Bernhard Thalheim and Leonid Libkin).Lecture Notes in Computer Science,0302-9743 ;1762Computer engineeringComputersDatabase managementInformation storage and retrievalApplication softwareArtificial intelligenceComputer Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I27000Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Database Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/I18024Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computer engineering.Computers.Database management.Information storage and retrieval.Application software.Artificial intelligence.Computer Engineering.Theory of Computation.Database Management.Information Storage and Retrieval.Information Systems Applications (incl. Internet).Artificial Intelligence.004Schewe Klaus-Dieteredthttp://id.loc.gov/vocabulary/relators/edtThalheim Bernhardedthttp://id.loc.gov/vocabulary/relators/edtFoIKS 2000MiAaPQMiAaPQMiAaPQBOOK9910143638703321Foundations of Information and Knowledge Systems2899609UNINA