Satisfiability of object-oriented database constraints with set and bag attributes (Articolo in rivista)

Type
Label
  • Satisfiability of object-oriented database constraints with set and bag attributes (Articolo in rivista) (literal)
Anno
  • 2003-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1016/S0306-4379(02)00010-8 (literal)
Alternative label
  • Formica, A (2003)
    Satisfiability of object-oriented database constraints with set and bag attributes
    in Information systems (Oxf.)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Formica, A (literal)
Pagina inizio
  • 213 (literal)
Pagina fine
  • 224 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 28 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 12 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 3 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • In this paper, a sound and complete algorithm for checking the satisfiability of a specific class of Object-Oriented database integrity constraints including set and bag attributes is proposed. (literal)
Note
  • ISI Web of Science (WoS) (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Consiglio Nazionale delle Ricerche (CNR) (literal)
Titolo
  • Satisfiability of object-oriented database constraints with set and bag attributes (literal)
Abstract
  • The definition of methodologies for checking database constraint satisfiability, i.e., the absence of contradictions independently of any database state, is a fundamental and critical problem that has been marginally addressed in the literature. In this paper, a sound and complete algorithm is proposed for checking the satisfiability of a specific class of database integrity constraints in a simplified object-oriented model. Such a class includes cardinality constraints, set and bag attributes, and explicit integrity constraints involving comparison operators. The algorithm, conceived to support database schema design, allows the designer to distinguish among five different kinds of contradictions, each identified by an ad hoc procedure. (C) 2002 Elsevier Science Ltd. All rights reserved. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it