Jean-Marie Nicolas. Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, 18:227-253, 1982.
@article{Nicolas82,
title = {Logic for Improving Integrity Checking in Relational Data Bases},
author = {Jean-Marie Nicolas},
year = {1982},
tags = {data-flow, logic},
researchr = {https://researchr.org/publication/Nicolas82},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {18},
pages = {227-253},
}