IMPLICATION PROBLEM FOR FUNCTIONAL AND INCLUSION DEPENDENCIES IS UNDECIDABLE.

SIAM Journal on Computing

Volumn 14, Issue 3, 1985, Pages 671-677

  Chandra, Ashok K ^a   Vardi, Moshe Y ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS - THEORY;

DATABASE INTEGRITY; RELATIONAL DATABASE SYSTEMS;

AUTOMATA THEORY;

EID: 0022106416     PISSN: 00975397     EISSN: None     Source Type: Journal    
DOI: 10.1137/0214049     Document Type: Article

References (16)