Declarative specification and evaluation of database updates View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1991

AUTHORS

Weidong Chen

ABSTRACT

An update specifies not only assumptions that are required for the current database, but also assertions that will hold in a new database. Queries are special cases of updates that contain assertions about only the current database. Inspired by connectives and quantifiers in queries, we develop an update calculus that extends relational calculus with assertions about a new database and a new connective, namely sequential composition. An update algebra is also presented that associates with each tuple in an update relation a transaction — a canonical form of updates. We show that update calculus and algebra are equivalent, and both support expressive set-based and nondeterministic updates. Finally, we introduce a formal notion of answers of updates with respect to a database, and develop a sound and complete algorithm for update evaluation. More... »

PAGES

147-166

Book

TITLE

Deductive and Object-Oriented Databases

ISBN

978-3-540-55015-0
978-3-540-46646-8

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-55015-1_8

DOI

http://dx.doi.org/10.1007/3-540-55015-1_8

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1008188952


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Computer Science & Engineering, Southern Methodist University, 75275-0122, Dallas, Texas", 
          "id": "http://www.grid.ac/institutes/grid.263864.d", 
          "name": [
            "Computer Science & Engineering, Southern Methodist University, 75275-0122, Dallas, Texas"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Chen", 
        "givenName": "Weidong", 
        "id": "sg:person.01207355664.95", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01207355664.95"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1991", 
    "datePublishedReg": "1991-01-01", 
    "description": "An update specifies not only assumptions that are required for the current database, but also assertions that will hold in a new database. Queries are special cases of updates that contain assertions about only the current database. Inspired by connectives and quantifiers in queries, we develop an update calculus that extends relational calculus with assertions about a new database and a new connective, namely sequential composition. An update algebra is also presented that associates with each tuple in an update relation a transaction \u2014 a canonical form of updates. We show that update calculus and algebra are equivalent, and both support expressive set-based and nondeterministic updates. Finally, we introduce a formal notion of answers of updates with respect to a database, and develop a sound and complete algorithm for update evaluation.", 
    "editor": [
      {
        "familyName": "Delobel", 
        "givenName": "C.", 
        "type": "Person"
      }, 
      {
        "familyName": "Kifer", 
        "givenName": "M.", 
        "type": "Person"
      }, 
      {
        "familyName": "Masunaga", 
        "givenName": "Y.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-55015-1_8", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-55015-0", 
        "978-3-540-46646-8"
      ], 
      "name": "Deductive and Object-Oriented Databases", 
      "type": "Book"
    }, 
    "keywords": [
      "new database", 
      "evaluation of databases", 
      "declarative specification", 
      "update calculus", 
      "relational calculus", 
      "complete algorithm", 
      "formal notion", 
      "current database", 
      "queries", 
      "sequential composition", 
      "database", 
      "update relations", 
      "update", 
      "tuples", 
      "algorithm", 
      "calculus", 
      "transactions", 
      "specification", 
      "new connective", 
      "Update Evaluation", 
      "specifies", 
      "special case", 
      "assertion", 
      "canonical form", 
      "connectives", 
      "quantifiers", 
      "algebra", 
      "evaluation", 
      "answers", 
      "notion", 
      "assumption", 
      "respect", 
      "form", 
      "cases", 
      "relation", 
      "composition", 
      "associates", 
      "update specifies", 
      "update algebra", 
      "nondeterministic updates"
    ], 
    "name": "Declarative specification and evaluation of database updates", 
    "pagination": "147-166", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1008188952"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-55015-1_8"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-55015-1_8", 
      "https://app.dimensions.ai/details/publication/pub.1008188952"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:10", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_17.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-55015-1_8"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/3-540-55015-1_8'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/3-540-55015-1_8'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-55015-1_8'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-55015-1_8'


 

This table displays all metadata directly associated to this object as RDF triples.

110 TRIPLES      23 PREDICATES      66 URIs      59 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-55015-1_8 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author N5e4f3013771f4f768c41d7592e352525
4 schema:datePublished 1991
5 schema:datePublishedReg 1991-01-01
6 schema:description An update specifies not only assumptions that are required for the current database, but also assertions that will hold in a new database. Queries are special cases of updates that contain assertions about only the current database. Inspired by connectives and quantifiers in queries, we develop an update calculus that extends relational calculus with assertions about a new database and a new connective, namely sequential composition. An update algebra is also presented that associates with each tuple in an update relation a transaction — a canonical form of updates. We show that update calculus and algebra are equivalent, and both support expressive set-based and nondeterministic updates. Finally, we introduce a formal notion of answers of updates with respect to a database, and develop a sound and complete algorithm for update evaluation.
7 schema:editor N15ce09807cea40e7a3dadbf5b8c93698
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nbec3cc0e304a4f14ac1486fc0c2d0d94
12 schema:keywords Update Evaluation
13 algebra
14 algorithm
15 answers
16 assertion
17 associates
18 assumption
19 calculus
20 canonical form
21 cases
22 complete algorithm
23 composition
24 connectives
25 current database
26 database
27 declarative specification
28 evaluation
29 evaluation of databases
30 form
31 formal notion
32 new connective
33 new database
34 nondeterministic updates
35 notion
36 quantifiers
37 queries
38 relation
39 relational calculus
40 respect
41 sequential composition
42 special case
43 specification
44 specifies
45 transactions
46 tuples
47 update
48 update algebra
49 update calculus
50 update relations
51 update specifies
52 schema:name Declarative specification and evaluation of database updates
53 schema:pagination 147-166
54 schema:productId N3251487757a84ae98aedc83b8696fdf5
55 Nd4a480ce44994d9bb4ac4fed3b9b9dcc
56 schema:publisher N4b52e400bde94ff2ab2a82e8a37256e9
57 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008188952
58 https://doi.org/10.1007/3-540-55015-1_8
59 schema:sdDatePublished 2022-01-01T19:10
60 schema:sdLicense https://scigraph.springernature.com/explorer/license/
61 schema:sdPublisher Nb9c510553e564e9f8ed48f38df5b2d84
62 schema:url https://doi.org/10.1007/3-540-55015-1_8
63 sgo:license sg:explorer/license/
64 sgo:sdDataset chapters
65 rdf:type schema:Chapter
66 N15ce09807cea40e7a3dadbf5b8c93698 rdf:first N2bdfc8bcd49f43c38814f80aa56e6b05
67 rdf:rest N91289cbafb594bcdabbd8cb9fcd1f807
68 N2bdfc8bcd49f43c38814f80aa56e6b05 schema:familyName Delobel
69 schema:givenName C.
70 rdf:type schema:Person
71 N3251487757a84ae98aedc83b8696fdf5 schema:name doi
72 schema:value 10.1007/3-540-55015-1_8
73 rdf:type schema:PropertyValue
74 N4b52e400bde94ff2ab2a82e8a37256e9 schema:name Springer Nature
75 rdf:type schema:Organisation
76 N5e4f3013771f4f768c41d7592e352525 rdf:first sg:person.01207355664.95
77 rdf:rest rdf:nil
78 N91289cbafb594bcdabbd8cb9fcd1f807 rdf:first Nc173b08411ec48f18eeff4f55f64a91f
79 rdf:rest N988e1cf9d72344eb863a5b1154ce5c17
80 N988e1cf9d72344eb863a5b1154ce5c17 rdf:first Ndf85b80ecd2b4924810ff311b540ae97
81 rdf:rest rdf:nil
82 Nb9c510553e564e9f8ed48f38df5b2d84 schema:name Springer Nature - SN SciGraph project
83 rdf:type schema:Organization
84 Nbec3cc0e304a4f14ac1486fc0c2d0d94 schema:isbn 978-3-540-46646-8
85 978-3-540-55015-0
86 schema:name Deductive and Object-Oriented Databases
87 rdf:type schema:Book
88 Nc173b08411ec48f18eeff4f55f64a91f schema:familyName Kifer
89 schema:givenName M.
90 rdf:type schema:Person
91 Nd4a480ce44994d9bb4ac4fed3b9b9dcc schema:name dimensions_id
92 schema:value pub.1008188952
93 rdf:type schema:PropertyValue
94 Ndf85b80ecd2b4924810ff311b540ae97 schema:familyName Masunaga
95 schema:givenName Y.
96 rdf:type schema:Person
97 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
98 schema:name Information and Computing Sciences
99 rdf:type schema:DefinedTerm
100 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
101 schema:name Information Systems
102 rdf:type schema:DefinedTerm
103 sg:person.01207355664.95 schema:affiliation grid-institutes:grid.263864.d
104 schema:familyName Chen
105 schema:givenName Weidong
106 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01207355664.95
107 rdf:type schema:Person
108 grid-institutes:grid.263864.d schema:alternateName Computer Science & Engineering, Southern Methodist University, 75275-0122, Dallas, Texas
109 schema:name Computer Science & Engineering, Southern Methodist University, 75275-0122, Dallas, Texas
110 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...