Merging relational database technology with constraint technology

DOI10.1007/3-540-62064-8_34MaRDI QIDQ6570939zbMATH OpenFDO

Authors Andrei Voronkov

Publication date 11 July 2024

Full work available at URL https://doi.org/10.1007/3-540-62064-8_34

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Constraint databases: promising technology or just intellectual exercise?
• Integrating relational databases and constraint languages
• scientific article; zbMATH DE number 2086597
• Combining relational algebra, SQL, constraint modelling, and local search
• Introduction to constraint databases

Cites work

• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Justification of the structural synthesis of programs
• Recursive query processing: The power of logic
• Substitution tree indexing
• The anatomy of vampire. Implementing bottom-up procedures with code trees
• Two systems for proving tautologies, based on the split method

This page was built for publication: Merging relational database technology with constraint technology

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