Linear constraint query languages expressive power and complexity

DOI10.1007/3-540-60178-3_96MaRDI QIDQ6064293zbMATH OpenOpenAlexFDO

Authors Stéphane Grumbach, Jianwen Su, Christophe Tollu

Publication date 12 December 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60178-3_96

zbMATH Keywords

Boolean functionrelational algebradisjunctive normal formlinear constraintatomic formula

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Queries with arithmetical constraints
• scientific article; zbMATH DE number 1515857
• Relational expressive power of constraint query languages
• Publication:4945218
• On the expressiveness of linear-constraint query languages for spatial databases

Cites work

• scientific article; zbMATH DE number 3132763 (Why is no real title available?)
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 3607517 (Why is no real title available?)
• scientific article; zbMATH DE number 1142309 (Why is no real title available?)
• scientific article; zbMATH DE number 1479611 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• A relational model of data for large shared data banks
• Completeness results for recursive data bases
• Computable queries for relational data bases
• Finitely representable databases
• First-Order Queries on Finite Structures Over the Reals
• Hamiltonian paths in infinite graphs
• On the expressive power of the relational algebra
• Parity, circuits, and the polynomial-time hierarchy
• Recursive Euler and Hamilton Paths
• Sentences true in all constructive models
• The complexity of elementary algebra and geometry

This page was built for publication: Linear constraint query languages expressive power and complexity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6064293)