A top-down proof procedure for generalized data dependencies

DOI10.1007/S00236-002-0095-2zbMath1034.68028OpenAlexW1989849441MaRDI QIDQ1403338

Stéphane Coulondre

Publication date: 1 September 2003

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-002-0095-2

zbMATH Keywords

relational database

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (1)

On rules with existential variables: walking the decidability line

This page was built for publication: A top-down proof procedure for generalized data dependencies