Advances in Databases and Information Systems

We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boolean algebras of sets, this is a new generalization of Boole’s well-known variable elimination method for conjunctions of Boolean equality constraints. We also explain the connection of this new logical result with the evaluation of relational calculus queries on constraint databases that contain Boolean linear cardinality constraints.

[1]  Shriram Krishnamurthi,et al.  Transformation-by-Example for XML , 2000, PADL.

[2]  Georg Gottlob,et al.  Efficient Algorithms for Processing XPath Queries , 2002, VLDB.

[3]  Tadeusz Pankowski,et al.  Processing XPath Expressions in Relational Databases , 2004, SOFSEM.

[4]  Donato Malerba,et al.  Machine learning for information extraction from topographic maps , 2001 .

[5]  Tadeusz Pankowski.  Specifying transformations for XML data , 2003 .

[6]  Martti Penttonen,et al.  Towards automating of document structure transformations , 2002, DocEng '02.

[7]  Tadeusz Pankowski,et al.  Transformation of XML Data Using an Unranked Tree Transducer , 2003, EC-Web.

[8]  Monika Sester,et al.  Knowledge acquisition for the automatic interpretation of spatial data , 2000, Int. J. Geogr. Inf. Sci..

[9]  Bo Xu,et al.  Moving objects databases: issues and solutions , 1998, Proceedings. Tenth International Conference on Scientific and Statistical Database Management (Cat. No.98TB100243).

[10]  Reid Simmons,et al.  Second Generation Expert Systems , 1993, Springer Berlin Heidelberg.

[11]  T. Badard,et al.  OXYGENE: AN OPEN FRAMEWORK FOR THE DEPLOYMENT OF GEOGRAPHIC WEB SERVICES , 2003 .

[12]  Tadeusz Pankowski.  XML-SQL: An XML Query Language Based on SQL and Path Tables , 2002, EDBT Workshops.

[13]  Xin He,et al.  Scalar aggregation in inconsistent databases , 2003, Theor. Comput. Sci..

[14]  Dan Suciu,et al.  UnQL: a query language and algebra for semistructured data based on structural recursion , 2000, The VLDB Journal.

[15]  Stefano Ceri,et al.  Comparative analysis of five XML query languages , 1999, SGMD.

[16]  Jan Chomicki,et al.  Query Answering in Inconsistent Databases , 2003, Logics for Emerging Applications of Databases.

[17]  Thomas G. Dietterich.  What is machine learning? , 2020, Archives of Disease in Childhood.

[18]  Heiner Stuckenschmidt,et al.  Ontologies for geographic information processing , 2002 .

[19]  Frank Wm. Tompa,et al.  Specifying Transformations for Structured Documents , 2001, WebDB.