Yeh-Heng Sheng ACM SIGMOD Conference 1991 20 2 188 197 1037 KB A non-deterministic deductive database language IDLOG that employs tuple-identifiers in DATALOG (with negation) was proposed in [She90b] to enhance the expressive power of deductive database languages. It was shown that a subset of IDLOG programs defines Computing Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and Theorem Proving. Information Systems, DATABASE MANAGEMENT, Languages, Datalog. Information Systems, DATABASE MANAGEMENT, Systems, Query processing. Software, PROGRAMMING LANGUAGES, Processors, Optimization. D.3.4 Software, PROGRAMMING LANGUAGES, Processors, Optimization. H.2.3 Information Systems, DATABASE MANAGEMENT, Languages, Datalog. H.2.4 Information Systems, DATABASE MANAGEMENT, Systems, Query processing. I.2.3 Computing Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and Theorem Proving.