A Theorem-Proving Approach to Database Integrity

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

From This Paper

Topics from this paper.

Citations

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

Similar Papers

Loading similar papers…