Constraint Query Languages

Journal of Computer and System Sciences

Volumn 51, Issue 1, 1995, Pages 26-52

  Kanellakis, P C ^a   Kuper, G M ^a   Revesz, P Z ^a  

^a BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; DATA STRUCTURES; LOGIC PROGRAMMING; SYSTEMS ANALYSIS;

CONSTRAINT QUERY LANGUAGES; CONSTRAINT SOLVING; DECLARATIVE DATABASE PROGRAMMING; QUANTIFIER ELIMINATION TECHNIQUE;

QUERY LANGUAGES;

EID: 0029359817     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1006/jcss.1995.1051     Document Type: Article

References (0)