Designing deductive databases

DOI10.1007/BF00244512zbMath0647.68109OpenAlexW1992271858MaRDI QIDQ1104781

Robert Veroff, Paul Helman

Publication date: 1988

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00244512

zbMATH Keywords

database designrelational databasestheorem proverdeductive databasesphysical optimizationintensional database

Mathematics Subject Classification ID

Data structures (68P05) Information storage and retrieval of data (68P20)

Related Items (2)

A family of NP-complete data aggregation problems ⋮ An empirical analysis of algorithms for partially Clairvoyant scheduling

This page was built for publication: Designing deductive databases