LEADER 06391nam 22008415 450 001 996465874603316 005 20200701201553.0 010 $a1-280-30684-X 010 $a9786610306848 010 $a3-540-24627-4 024 7 $a10.1007/b95342 035 $a(CKB)1000000000212299 035 $a(DE-He213)978-3-540-24627-5 035 $a(SSID)ssj0000157541 035 $a(PQKBManifestationID)11149666 035 $a(PQKBTitleCode)TC0000157541 035 $a(PQKBWorkID)10139067 035 $a(PQKB)10254772 035 $a(MiAaPQ)EBC3088876 035 $a(PPN)155197126 035 $a(EXLCZ)991000000000212299 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFoundations of Information and Knowledge Systems$b[electronic resource] $eThird International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings /$fedited by Dietmar Seipel, Jose M. Turull-Torres 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 324 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2942 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20965-4 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talks -- Hypergraph Transversals -- Abstract State Machines: An Overview of the Project -- Regular Papers -- Database Repair by Signed Formulae -- Simplification of Integrity Constraints for Data Integration -- On the Security of Individual Data -- Implementing Ordered Choice Logic Programming Using Answer Set Solvers -- Skyline Cardinality for Relational Processing -- Query Answering and Containment for Regular Path Queries under Distortions -- Weak Functional Dependencies in Higher-Order Datamodels -- Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists -- The Relative Complexity of Updates for a Class of Database Views -- Equivalence of OLAP Dimension Schemas -- A New Approach to Belief Modeling -- Computer-Oriented Calculi of Sequent Trees -- On Updates of Logic Programs: A Properties-Based Approach -- Minimal Keys in Higher-Order Datamodels -- Similarity Relational Calculus and Its Reduction to a Similarity Algebra -- Challenges in Fixpoint Computation with Multisets -- Towards a Generalized Interaction Scheme for Information Access -- Plan Databases: Model and Algebra. 330 $aThis volume contains the papers presented at the 3rd International Symposium onFoundationsofInformationandKnowledgeSystems(FoIKS2004),whichwas held in Castle Wilhelminenberg, Vienna, Austria, from February 17th to 20th, 2004. FoIKS is a biennial event focussing on theoretical foundations of information and knowledge systems. It aims at bringing together researchers working on the theoretical foundations of information and knowledge systems and attracting researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series Mathematical Fun- mentals of Database Systems (MFDBS) which enabled East?West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000, and the second FoIKS symposium was held in SalzauCastle(Germany)in2002.FormerMFDBSconferenceswereheldinDr- den (Germany) in 1987, Visegrī ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, 1762, and 2284 of the LNCS series, respectively. In addition the FoIKS symposium was intended to be a forum for intensive discussions. For this reason the time slots for long and short contributions were 50 and 30 minutes, respectively, followed by 20 and 10 minutes for discussions, respectively. Furthermore, participants were asked in advance to prepare to act as correspondents for the contributions of other authors. There were also special sessions for the presentation and discussion of open research problems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2942 606 $aComputers 606 $aDatabase management 606 $aComputer logic 606 $aComputer science?Mathematics 606 $aInformation storage and retrieval 606 $aUser interfaces (Computer systems) 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 615 0$aComputers. 615 0$aDatabase management. 615 0$aComputer logic. 615 0$aComputer science?Mathematics. 615 0$aInformation storage and retrieval. 615 0$aUser interfaces (Computer systems). 615 14$aTheory of Computation. 615 24$aDatabase Management. 615 24$aLogics and Meanings of Programs. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aInformation Storage and Retrieval. 615 24$aUser Interfaces and Human Computer Interaction. 676 $a004 702 $aSeipel$b Dietmar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTurull-Torres$b Jose M$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFoIKS 2004 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465874603316 996 $aFoundations of Information and Knowledge Systems$9774287 997 $aUNISA