A Proof System with Bounded Non-determinism in Database Transformations
From MaRDI portal
Publication:3092325
DOI10.1007/978-3-642-23441-5_7zbMath1347.68116OpenAlexW1853832670MaRDI QIDQ3092325
Publication date: 16 September 2011
Published in: Semantics in Data and Knowledge Bases (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1885/66915
Cites Work
This page was built for publication: A Proof System with Bounded Non-determinism in Database Transformations