A Theorem-Proving Approach to Database Integrity

  title={A Theorem-Proving Approach to Database Integrity},
  author={Fariba Sadri and Robert A. Kowalski},
  booktitle={Foundations of Deductive Databases and Logic Programming.},
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 98 extracted citations

Similar Papers

Loading similar papers…