2000, ISBN: 9783540671008

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 Febr… Más…

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). Trade Books>Trade Paperback>Technology>Xxxsoftware Engr>* Desc Unknown, Springer Berlin Heidelberg Core >1<

2000, ISBN: 9783540671008

This book constitutes the refereed proceedings of the First Internatio nal Symposium on Foundations of Information and Knowledge Systems, FoI KS 2000, held in Burg, Germany, in February 2… Más…

This book constitutes the refereed proceedings of the First Internatio nal Symposium on Foundations of Information and Knowledge Systems, FoI KS 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 fou ndations 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 opt imization. Trade Books>Trade Paperback>Technology>Xxxsoftware Engr>* Desc Unknown, Springer Berlin Heidelberg Core >1<

2000, ISBN: 9783540671008

Paperback / softback. New. The topics addressed in this volume include: logical foundations and semantics of datamodels; dependency theory; integrity and security; temporal aspects; foun… Más…

Paperback / softback. New. The topics addressed in this volume include: 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., 6<