Dynamic modelling of a simple existence constraint

Furtado, Antônio L.; Santos, Clesio Saraiva dos; Castilho, José Mauro Volkmer de

doi:10.1016/0306-4379(81)90019-3

Cited by 12 publications

(2 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, [Fdd81] can be mentioned as an example of a paper where an extremely specialized technique is used to treat one particular kind of constraint. Within an entity-relationship framework, it is described how one can efficiently test constraints demanding that for every entity of a certain type El, there must exist an entity of type E2 that has a certain relation with it.…”

Section: From Early Work To General Methodsmentioning

confidence: 99%

Integrity verification in knowledge bases

Bry¹,

Manthey²,

Martens

1992

Logic Programming

View full text Add to dashboard Cite

In order to faithfully describe real-life applications, knowledge bases have to manage general integrity constraints. In this article, we analyse methods for an efficient verification of integrity constraints in updated knowledge bases. These methods rely on the satisfaction of the integrity constraints before the update for sim plifying their evaluation in the updated knowledge base. During the last few years, an increasing amount of publications has been devoted to various aspects of this prob lem. Since they use distinct formalisms and different terminologies, they are difficult to compare. Moreover, it is often complex to recognize commonalities and to find out whether techniques described in different articles are in principle different. A first part of this report aims at giving a comprehensive state-of-the-art in integrity verification. It describes integrity constraint verification techniques in a common formalism. A sec ond part of this report is devoted to comparing several proposals. The differences and similarities between various methods are investigated.

show abstract

Section: From Early Work To General Methodsmentioning

confidence: 99%

Integrity verification in knowledge bases

Bry¹,

Manthey²,

Martens

1992

Logic Programming

View full text Add to dashboard Cite

show abstract

“…As frequently happens, other concepts are also known in the literature under the "existence constraint" name. For example, [11] uses it in the context of dynamic (transactional) integrity constraints; in the NoSQL Memgraph and Neo4j DBMSes, the NOT NULL constraints are called existence constraints [12,13]; existence constraints are also used with a completely different meaning (i.e., they "assert that for all (medial-level) variable values from a set of infinite cardinality, there must exist (lower-level) variable values from a second set that satisfy an inequality") in the realm of semi-infinite programs [14].…”

Section: Literature Reviewmentioning

confidence: 99%

Matbase auto Function Non-relational Constraints Enforcement Algorithms

Mancas¹

2019

IJCSIT

View full text Add to dashboard Cite

Existence constraints were defined in the Relational Data Model, but, unfortunately, are not provided by any Relational Database Management System, except for their NOT NULL particular case. Our (Elementary) Mathematical Data Model extended them to function products and introduced their dual non-existence constraints. MatBase, an intelligent data and knowledge base management system prototype based on both these data models, not only provides existence and non-existence constraints, but also automatically generates code for their enforcement. This paper presents and discusses the algorithms used by MatBase to enforce these types of constraints.

show abstract

Transformation of dynamic integrity constraints into transaction specifications

Lipeck

1983

Icdt '88

View full text Add to dashboard Cite

Dynamic modelling of a simple existence constraint

Cited by 12 publications

References 1 publication

Integrity verification in knowledge bases

Integrity verification in knowledge bases

Matbase auto Function Non-relational Constraints Enforcement Algorithms

Transformation of dynamic integrity constraints into transaction specifications

Contact Info

Product

Resources

About