The Exact Complexity of the First−Order Logic Definability Problem
Marcelo Arenas and Gonzalo I. Diaz
Address
New York‚ NY‚ USA
ISSN
0362−5915
Journal
ACM Trans. Database Syst.
Keywords
Definability problem‚ expressiveness‚ first−order logic‚ relational algebra
Month
may
Number
2
Pages
13:1–13:14
Publisher
ACM
Volume
41
Year
2016