Boundedness is undecidable for datalog programs with a single recursive rule
type: Item
instance of: scholarly article
title: Boundedness is undecidable for datalog programs with a single recursive rule
zbMATH Open document ID: 0677.68103
DOI: 10.1016/0020-0190(89)90019-7
author: Serge Abiteboul
published in: Information Processing Letters
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P20
Mathematics Subject Classification ID: 03D35
zbMATH DE Number: 4110167
zbMATH Keywords: data processing
zbMATH Keywords: databases
zbMATH Keywords: deductive databases
zbMATH Keywords: boundedness
zbMATH Keywords: datalog
Wikidata QID: Q51221214
describes a project that uses: Datalog
MaRDI profile type: Publication
full work available at URL: 0020-0190(89)90019-7
OpenAlex ID: W1983914494
cites work: Q3477931
cites work: On the foundations of the universal relation model
description: scientific article; zbMATH DE number 4110167