Completeness Results for Recursive Data Bases

• 30 June 1996
• journal article
• Published by Elsevier in Journal of Computer and System Sciences
• Vol. 52  (3) , 522-536
• https://doi.org/10.1006/jcss.1996.0039

Abstract

Keywords

• RECURSIVE DATA BASE
• COMPLETENESS RESULTS
• NON-RESTRICTED CASE
• INFINITE RECURSIVE
• COMPUTABLE QUERY
• RECURSIVE DATA BASES
• COMPLETENESS RESULT
• SIMPLE RELATIONAL OPERATION
• RELATIONAL DATA BASE
• FINITE INDEX
• QUERY LANGUAGE
• DATA BASE
• MODEST CLASS
• LANGUAGE QL