STIRDAT: A system tightly integrating relational databases and a theorem prover

DOI10.1016/S0169-023X(00)00005-7MaRDI QIDQ4496873zbMATH OpenOpenAlexFDO

Authors

Publication date 21 August 2000

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0169-023x(00)00005-7

zbMATH Keywords

heterogeneous systemstheorem provers

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Data integration. The relational logic approach
• Logic-based techniques in data integration
• Querying independent databases
• scientific article; zbMATH DE number 4199617

Cited in

(1)

• STIRDAT

This page was built for publication: STIRDAT: A system tightly integrating relational databases and a theorem prover

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