Article ISI SCOPUS
ACM TRANSACTIONS ON DATABASE SYSTEMS  (2016)

The Exact Complexity of the First-Order Logic Definability Problem

Keywords: expressiveness, Definability problem, relational algebra, first-order logic

Más información

Título según WOS: The Exact Complexity of the First-Order Logic Definability Problem
Título según SCOPUS: The exact complexity of the first-order logic definability problem
Título de la Revista: ACM TRANSACTIONS ON DATABASE SYSTEMS
Volumen: 41
Número: 2
Editorial: ASSOC COMPUTING MACHINERY
Fecha de publicación: 2016
Idioma: English
DOI:

10.1145/2886095
Notas: ISI, SCOPUS