The expressive power of stratified logic programs with value invention
type: Item
instance of: scholarly article
title: The expressive power of stratified logic programs with value invention
zbMATH Open document ID: 0927.68031
author: Luca Cabibbo
published in: Information and Computation
publication date: 1999-11-29T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1267924
zbMATH Keywords: relational query languages
MaRDI profile type: Publication
OpenAlex ID: W2013984441
cites work: Q4864249
cites work: Procedural languages for database queries and updates
cites work: Datalog extensions for database queries and updates
cites work: Q4385536
cites work: Q4172944
cites work: A relational model of data for large shared data banks
cites work: Algebraic and calculus query languages for recursively typed complex objects
cites work: Domain independence and the relational calculus
cites work: Relational queries computable in polynomial time
cites work: Q4385543
cites work: Logical foundations of object-oriented and frame-based languages
cites work: A logic for programming with complex objects
cites work: The expressive power of stratified logic programs
cites work: On the expressive power of the relational algebra
cites work: On the completeness of object-creating database transformation languages
DOI: 10.1006/INCO.1998.2734
Recommended article: The expressive power of stratified logic programs
Recommended article: The defining power of stratified and hierarchical logic programs
Recommended article: Decidable Fragments of Logic Programming with Value Invention
Recommended article: Q4530041
Recommended article: The expressive powers of the logic programming semantics
Recommended article: Q3334069
Recommended article: Q4900311
Recommended article: Q3477997
Recommended article: Two-Valued Logic Programs
Recommended article: Q2767110
description: scientific article; zbMATH DE number 1267924