Designing deductive databases
From MaRDI portal
Publication:1104781
DOI10.1007/BF00244512zbMath0647.68109MaRDI QIDQ1104781
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
database design; relational databases; theorem prover; deductive databases; physical optimization; intensional database
Related Items
An empirical analysis of algorithms for partially Clairvoyant scheduling, A family of NP-complete data aggregation problems