Fundamentals of Information Systems contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO '98), which was held in Timmel, Germany. These articles capture various aspects of database and information systems theory:

• identification as a primitive of database models
• deontic action programs
• marked nulls in queries
• topological canonization in spatial databases
• complexity of search queries
• complexity of Web queries
• attribute grammars for structured...

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001.

The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, and semantic classification of...

This volume contains the papers presented at the Second International S- posium on Foundations of Information and Knowledge Systems (FoIKS 2002), which was held in Schloss Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying...

This text constitutes the refereed proceedings of the First International Symposium on Foundations of Information and Knowledge Systems, FoIKS 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 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.

This volume comprises selected papers of the Third International Workshop on Semanticsin Data and KnowledgeBases, which wascollacatedwith EDBT 2008 and was organized in Nantes on March 29, 2008. The ?rst two workshops "- mantics in Databases" took place in Re? z, Czech Republic in 1995 and Dagstuhl, Germany, 2001. The workshops have had post-proceedings of selected papers given at the workshop. We invited the best papers of the workshop to submit a revised version of their paper. These revisions have been reviewed for the- nal proceedings. The proceedings of the ?rst two workshops were...

This book constitutes the refereed proceedings of the 22 International Conference on Database and Expert Systems Applications, DEXA 2011, held in Toulouse, France, August 29 - September 2, 2011. The 52 revised full papers and 40 short papers presented were carefully reviewed and selected from 207 submissions. The papers are organized in topical sections on XML querying and views; data mining; queries and search; semantic web; information retrieval; business applications; user support; indexing; queries, views and data warehouses; ontologies; physical aspects of databases; Design;...

This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd International Conference on Database and Expert Systems Applications, DEXA 2012, held in Vienna, Austria, September 3-6, 2012. The 49 revised full papers presented together with 37 short papers and 2 keynote talks were carefully reviewed and selected from 179 submissions. These papers discuss a range of topics including: database query processing, in particular XML queries; labelling of XML documents; computational efficiency, data extraction; personalization, preferences, and ranking; security and...

This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd International Conference on Database and Expert Systems Applications, DEXA 2012, held in Vienna, Austria, September 3-6, 2012. The 49 revised full papers presented together with 37 short papers and 2 keynote talks were carefully reviewed and selected from 179 submissions. These papers discuss a range of topics including: database query processing, in particular XML queries; labelling of XML documents; computational efficiency, data extraction; personalization, preferences, and ranking; security and...

Fundamentals of Information Systems contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO '98), which was held in Timmel, Germany. These articles capture various aspects of database and information systems theory:

• identification as a primitive of database models
• deontic action programs
• marked nulls in queries
• topological canonization in spatial databases
• complexity of search queries
• complexity of Web queries
• attribute grammars for structured...

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z. They share a common conceptual foundation and are widely used in both academia and...