Static analysis of intensional databases in U-Datalog

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

Volumn , Issue , 1996, Pages 202-212

  Bertino, Elisa ^a   Catania, Barbara ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA STRUCTURES; DATABASE SYSTEMS; OPTIMIZATION; PARALLEL PROCESSING SYSTEMS; PROGRAM COMPILERS; SYSTEMS ANALYSIS;

DEDUCTIVE LANGUAGE; LOGICAL UPDATE LANGUAGES; ONE TUPLE AT A TIME UPDATES; PROGRAM SEMANTICS; SET ORIENTED QUERIES; STATIC ANALYSIS; U DATALOG;

QUERY LANGUAGES;

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

References (19)