Merging relational database technology with constraint technology
From MaRDI portal
Publication:6570939
Recommendations
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)