On derived dependencies and connected databases
From MaRDI portal
Publication:3983123
DOI10.1016/0743-1066(91)90017-JzbMath0735.68023WikidataQ114683454 ScholiaQ114683454MaRDI QIDQ3983123
Publication date: 27 June 1992
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items (6)
The quotient of an abstract interpretation ⋮ Constrained dependencies ⋮ The powerset operator on abstract interpretations ⋮ Design of abstract domains using first-order logic ⋮ The reduced relative power operation on abstract domains ⋮ Finite-tree analysis for constraint logic-based languages
This page was built for publication: On derived dependencies and connected databases