DECIDABILITY AND EXPRESSIVENESS ASPECTS OF LOGIC QUERIES.

Volumn , Issue , 1987, Pages 237-249

  Shmueli, Oded ^a  

^a Microelectronics Computer Technology Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC; COMPUTER PROGRAMMING LANGUAGES - DESIGN;

DECIDABILITY; EXPRESSIVENESS; LOGIC QUERIES; RELATIONAL DATABASES;

DATABASE SYSTEMS;

EID: 0023602668     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/28659.28685     Document Type: Conference Paper

References (14)