Fariba Sadri, Robert A. Kowalski. A Theorem-Proving Approach to Database Integrity. In Foundations of Deductive Databases and Logic Programming.. pages 313-362, 1988.
@incollection{SadriK88,
title = {A Theorem-Proving Approach to Database Integrity},
author = {Fariba Sadri and Robert A. Kowalski},
year = {1988},
tags = {database, systematic-approach},
researchr = {https://researchr.org/publication/SadriK88},
cites = {0},
citedby = {0},
pages = {313-362},
booktitle = {Foundations of Deductive Databases and Logic Programming.},
}