Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008340699/catalog> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- catalog abstract "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).".
- catalog contributor b11613151.
- catalog contributor b11613152.
- catalog contributor b11613153.
- catalog created "2000.".
- catalog date "2000".
- catalog date "2000.".
- catalog dateCopyrighted "2000.".
- catalog description "Extension of the relational algebra to probabilistic complex values / Thomas Eiter, Thomas Lukasiewicz, Michael Walter -- Persistent turing machines as a model of interactive computation / Dina Q Goldin -- On interactions of cardinality constraints, key, and functional dependencies / Sven Hartmann -- Capturing LOGSPACE over hereditarily-finite sets / Alexander Leontjev, Vladimir Sazonov -- Non-situation calculus and database systems / Pedro A. Matos, João P. Martins -- Dealing with modification requests during view updating and integrity constraint maintenance / Enric Mayol, Ernest Teniente --".
- catalog description "Includes bibliographical references and index.".
- catalog description "Low discrepancy allocation of two-dimensional data / Richard Anstee ... [et al.] -- A family of nested query languages for semi-structured data / Nicole Bidoit, Sofian Maabout, Mourad Ykhlef -- Decomposition of database classes under path functional dependencies and onto constraints / Joachim Biskup, Torsten Polle -- Imprecision and user preferences in multimedia queries : a generic algebraic approach / Paolo Ciaccia ... [et al.] -- Maximal expansions of database updates / Michael Dekhtyar ... [et al.] -- Error-correcting keys in relational databases / János Demetrovics, Gyula O.H. Katona, Dezsö Miklós --".
- catalog description "Making decision trees more accurate by losing information / Takao Miura, Isamu Shioya, Mikihiro Mori -- High-level logic programming / Mauricio Osorio, Fernando Zacarias -- Clausal deductive databases and a general framework for semantics in disjunctive deductive databases / Dietmar Seipel -- Partial evaluations in a set-theoretic query language for the WWW / Yury P. Serdyuk -- Minimum matrix representation of some key system / Krisztián Tichler -- Reflective relational machines working on homogeneous databases / Jose Maria Turull Torres.".
- catalog description "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).".
- catalog extent "x, 303 p. :".
- catalog identifier "3540671005 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1762".
- catalog issued "2000".
- catalog issued "2000.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "004 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer science.".
- catalog subject "Computer systems Congresses.".
- catalog subject "Database management.".
- catalog subject "Information storage and retrieval systems.".
- catalog subject "Information systems.".
- catalog subject "Information technology Congresses.".
- catalog subject "Logic design.".
- catalog subject "QA75.5. F65 2000".
- catalog tableOfContents "Extension of the relational algebra to probabilistic complex values / Thomas Eiter, Thomas Lukasiewicz, Michael Walter -- Persistent turing machines as a model of interactive computation / Dina Q Goldin -- On interactions of cardinality constraints, key, and functional dependencies / Sven Hartmann -- Capturing LOGSPACE over hereditarily-finite sets / Alexander Leontjev, Vladimir Sazonov -- Non-situation calculus and database systems / Pedro A. Matos, João P. Martins -- Dealing with modification requests during view updating and integrity constraint maintenance / Enric Mayol, Ernest Teniente --".
- catalog tableOfContents "Low discrepancy allocation of two-dimensional data / Richard Anstee ... [et al.] -- A family of nested query languages for semi-structured data / Nicole Bidoit, Sofian Maabout, Mourad Ykhlef -- Decomposition of database classes under path functional dependencies and onto constraints / Joachim Biskup, Torsten Polle -- Imprecision and user preferences in multimedia queries : a generic algebraic approach / Paolo Ciaccia ... [et al.] -- Maximal expansions of database updates / Michael Dekhtyar ... [et al.] -- Error-correcting keys in relational databases / János Demetrovics, Gyula O.H. Katona, Dezsö Miklós --".
- catalog tableOfContents "Making decision trees more accurate by losing information / Takao Miura, Isamu Shioya, Mikihiro Mori -- High-level logic programming / Mauricio Osorio, Fernando Zacarias -- Clausal deductive databases and a general framework for semantics in disjunctive deductive databases / Dietmar Seipel -- Partial evaluations in a set-theoretic query language for the WWW / Yury P. Serdyuk -- Minimum matrix representation of some key system / Krisztián Tichler -- Reflective relational machines working on homogeneous databases / Jose Maria Turull Torres.".
- catalog title "Foundations of information and knowledge systems : First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 : proceedings / Klaus-Dieter Schewe, Bernhard Thalheim (eds.).".
- catalog type "text".