The decision problem for database dependencies
type: Item
instance of: scholarly article
title: The decision problem for database dependencies
zbMATH Open document ID: 0482.68094
DOI: 10.1016/0020-0190(81)90025-9
published in: Information Processing Letters
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P20
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C99
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 3757754
zbMATH Keywords: data dependencies
zbMATH Keywords: recursive solvability
Wikidata QID: Q114685347
author: Moshe Y. Vardi
MaRDI profile type: Publication
full work available at URL: 0020-0190(81)90025-9
OpenAlex ID: W2112512808
cites work: Solvable cases of the decision problem
cites work: The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
cites work: Q4162638
cites work: Undecidable theories
cites work: Impossibility of an algorithm for the decision problem in finite classes
description: scientific article; zbMATH DE number 3757754