The expressive power of stratified logic programs with value invention

DOI10.1006/inco.1998.2734zbMath0927.68031OpenAlexW2013984441MaRDI QIDQ1281496

Luca Cabibbo

Publication date: 29 November 1999

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/8f3d2d6a42785a9d7dc03cba48474bfb623d97e3

zbMATH Keywords

relational query languages

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items (3)

Datalog Queries Distributing over Components ⋮ Towards more expressive ontology languages: the query answering problem ⋮ External sources of knowledge and value invention in logic programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for programming with complex objects
• Algebraic and calculus query languages for recursively typed complex objects
• Procedural languages for database queries and updates
• The expressive power of stratified logic programs
• Datalog extensions for database queries and updates
• On the expressive power of the relational algebra
• Domain independence and the relational calculus
• Relational queries computable in polynomial time
• Logical foundations of object-oriented and frame-based languages
• On the completeness of object-creating database transformation languages
• A relational model of data for large shared data banks

This page was built for publication: The expressive power of stratified logic programs with value invention