Datalog extensions for database queries and updates
type: Item
instance of: scholarly article
title: Datalog extensions for database queries and updates
zbMATH Open document ID: 0764.68158
DOI: 10.1016/0022-0000(91)90032-Z
author: Serge Abiteboul
author: Victor Vianu
published in: Journal of Computer and System Sciences
publication date: 1992-06-25T00:00:00Z
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 13982
zbMATH Keywords: deterministic and non-deterministic extensions
zbMATH Keywords: datalog
zbMATH Keywords: fixpoint semantics
zbMATH Keywords: non-deterministic fixpoint extensions of first-order logic
describes a project that uses: Datalog
MaRDI profile type: Publication
cites work: Q3489445
cites work: Q4385536
cites work: Fundamental properties of deterministic and nondeterministic extensions of Datalog
cites work: Procedural languages for database queries and updates
cites work: Q3204028
cites work: A relational model of data for large shared data banks
cites work: Computable queries for relational data bases
cites work: Structure and complexity of relational queries
cites work: Horn clause queries and generalizations
cites work: Q3775538
cites work: Monadic generalized spectra
cites work: On folk theorems
cites work: Relative Information Capacity of Simple Relational Database Schemata
cites work: Relational queries computable in polynomial time
cites work: Languages that Capture Complexity Classes
cites work: Q4385543
cites work: The expressive power of stratified logic programs
cites work: Why not negation by fixpoint?
cites work: Inductive definitions over finite structures
cites work: Q3765271
cites work: Q3477931
cites work: Relationships between nondeterministic and deterministic tape complexities
cites work: Q3348436
full work available at URL: 0022-0000(91)90032-z
OpenAlex ID: W2042690606
description: scientific article; zbMATH DE number 13982