Checking Functional Consistency in Deductive Databases

Erik Lambrichts, Peter Nees, Jan Paredaens, Peter Peelman, Letizia Tanca. Checking Functional Consistency in Deductive Databases. Inf. Process. Lett., 35(3):115-120, 1990.

@article{LambrichtsNPPT90,
  title = {Checking Functional Consistency in Deductive Databases},
  author = {Erik Lambrichts and Peter Nees and Jan Paredaens and Peter Peelman and Letizia Tanca},
  year = {1990},
  tags = {consistency},
  researchr = {https://researchr.org/publication/LambrichtsNPPT90},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {35},
  number = {3},
  pages = {115-120},
}