Theorem proving techniques for view deletion in databases
From MaRDI portal
Publication:5927980
DOI10.1006/jsco.1999.0358zbMath0967.68149MaRDI QIDQ5927980
Chandrabose Aravindan, Peter Baumgartner
Publication date: 19 March 2001
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/b8fd970e267dc8f7c16943dab739185d2c3c5080
DB lookup for MSC labels failed
Uses Software