On the expressive power of Datalog. Tools and a case study

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue 2-4, 1990, Pages 61-71

  Kolaitis, Phokion G ^a   Vardi, Moshe Y ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY - THEOREM PROVING; COMPUTER METATHEORY - COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES;

DATALOG LANGUAGE;

DATABASE SYSTEMS;

EID: 0025406205     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)