Analysis of Schemas with Access Restrictions
From MaRDI portal
Publication:5012523
DOI10.1145/2699500zbMath1474.68078arXiv1203.6403OpenAlexW2065464789MaRDI QIDQ5012523
Clemens Ley, Pierre Bourhis, Michael Benedikt
Publication date: 25 November 2021
Published in: ACM Transactions on Database Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1203.6403
Database theory (68P15) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11)