Designing deductive databases View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1988-03

AUTHORS

Paul Helman, Robert Veroff

ABSTRACT

We consider the problem of designing schemas for deductive databases. The design problem is to construct a database schema that supports, at minimal expected cost, a given set of database transactions. Our results include a formal definition of both a deductive database schema and a schema transformation. A schema transformation is used in the design process to transform one schema into another, with the goal of reducing the expected database costs. Our design methodology defines the concept of a schema transformation within the context of the clause-based deductive database model. The IDB of the schema that results from the design process includes clauses sufficient for a theorem prover to map queries stated against the original schema into queries against the (more cost effective) resulting schema. This allows users to interact exclusively with the initial schema, while the schema that results from the design process specifies the actual structure of the implemented database. In other words, the initial schema serves as the logical schema for the database, and the result of the design process serves as its physical schema. More... »

PAGES

29-68

References to SciGraph publications

  • 1978. Deductive Question-Answering on Relational Data Bases in LOGIC AND DATA BASES
  • 1985-06. Deduction in non-Horn databases in JOURNAL OF AUTOMATED REASONING
  • 1981. Optimization in Deductive and Conventional Relational Database Systems in ADVANCES IN DATA BASE THEORY
  • 1989-03. A family of NP-complete data aggregation problems in ACTA INFORMATICA
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/bf00244512

    DOI

    http://dx.doi.org/10.1007/bf00244512

    DIMENSIONS

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


    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": "Department of Computer Science, University of New Mexico, 87131, Albuquerque, NM, USA", 
              "id": "http://www.grid.ac/institutes/grid.266832.b", 
              "name": [
                "Department of Computer Science, University of New Mexico, 87131, Albuquerque, NM, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Helman", 
            "givenName": "Paul", 
            "id": "sg:person.01034346234.77", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01034346234.77"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of New Mexico, 87131, Albuquerque, NM, USA", 
              "id": "http://www.grid.ac/institutes/grid.266832.b", 
              "name": [
                "Department of Computer Science, University of New Mexico, 87131, Albuquerque, NM, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Veroff", 
            "givenName": "Robert", 
            "id": "sg:person.0644424756.64", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0644424756.64"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-1-4684-3384-5_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007073347", 
              "https://doi.org/10.1007/978-1-4684-3384-5_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00244994", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004052381", 
              "https://doi.org/10.1007/bf00244994"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4615-8297-7_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020939581", 
              "https://doi.org/10.1007/978-1-4615-8297-7_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00289148", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025237166", 
              "https://doi.org/10.1007/bf00289148"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1988-03", 
        "datePublishedReg": "1988-03-01", 
        "description": "We consider the problem of designing schemas for deductive databases. The design problem is to construct a database schema that supports, at minimal expected cost, a given set of database transactions. Our results include a formal definition of both a deductive database schema and a schema transformation. A schema transformation is used in the design process to transform one schema into another, with the goal of reducing the expected database costs. Our design methodology defines the concept of a schema transformation within the context of the clause-based deductive database model. The IDB of the schema that results from the design process includes clauses sufficient for a theorem prover to map queries stated against the original schema into queries against the (more cost effective) resulting schema. This allows users to interact exclusively with the initial schema, while the schema that results from the design process specifies the actual structure of the implemented database. In other words, the initial schema serves as the logical schema for the database, and the result of the design process serves as its physical schema.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/bf00244512", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1136522", 
            "issn": [
              "0168-7433", 
              "1573-0670"
            ], 
            "name": "Journal of Automated Reasoning", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "1", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "4"
          }
        ], 
        "keywords": [
          "schema transformations", 
          "database schema", 
          "deductive databases", 
          "design process", 
          "initial schema", 
          "deductive database model", 
          "database transactions", 
          "database model", 
          "logical schema", 
          "physical schema", 
          "database costs", 
          "original schema", 
          "formal definition", 
          "schema", 
          "queries", 
          "design methodology", 
          "design problem", 
          "database", 
          "users", 
          "transactions", 
          "cost", 
          "set", 
          "process", 
          "methodology", 
          "actual structure", 
          "concept", 
          "goal", 
          "words", 
          "transformation", 
          "context", 
          "clauses", 
          "definition", 
          "model", 
          "results", 
          "IDB", 
          "theorem", 
          "structure", 
          "problem"
        ], 
        "name": "Designing deductive databases", 
        "pagination": "29-68", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1010947330"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/bf00244512"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/bf00244512", 
          "https://app.dimensions.ai/details/publication/pub.1010947330"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-05-20T07:18", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/article/article_214.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/bf00244512"
      }
    ]
     

    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/bf00244512'

    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/bf00244512'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bf00244512'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bf00244512'


     

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

    119 TRIPLES      22 PREDICATES      68 URIs      56 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/bf00244512 schema:about anzsrc-for:08
    2 anzsrc-for:0806
    3 schema:author N71de899674d541bb8279a8c9fc598175
    4 schema:citation sg:pub.10.1007/978-1-4615-8297-7_8
    5 sg:pub.10.1007/978-1-4684-3384-5_6
    6 sg:pub.10.1007/bf00244994
    7 sg:pub.10.1007/bf00289148
    8 schema:datePublished 1988-03
    9 schema:datePublishedReg 1988-03-01
    10 schema:description We consider the problem of designing schemas for deductive databases. The design problem is to construct a database schema that supports, at minimal expected cost, a given set of database transactions. Our results include a formal definition of both a deductive database schema and a schema transformation. A schema transformation is used in the design process to transform one schema into another, with the goal of reducing the expected database costs. Our design methodology defines the concept of a schema transformation within the context of the clause-based deductive database model. The IDB of the schema that results from the design process includes clauses sufficient for a theorem prover to map queries stated against the original schema into queries against the (more cost effective) resulting schema. This allows users to interact exclusively with the initial schema, while the schema that results from the design process specifies the actual structure of the implemented database. In other words, the initial schema serves as the logical schema for the database, and the result of the design process serves as its physical schema.
    11 schema:genre article
    12 schema:inLanguage en
    13 schema:isAccessibleForFree false
    14 schema:isPartOf N20f62b370fad4b188af4251cd26260da
    15 Nc511c3cf82274af588a8e12494af448c
    16 sg:journal.1136522
    17 schema:keywords IDB
    18 actual structure
    19 clauses
    20 concept
    21 context
    22 cost
    23 database
    24 database costs
    25 database model
    26 database schema
    27 database transactions
    28 deductive database model
    29 deductive databases
    30 definition
    31 design methodology
    32 design problem
    33 design process
    34 formal definition
    35 goal
    36 initial schema
    37 logical schema
    38 methodology
    39 model
    40 original schema
    41 physical schema
    42 problem
    43 process
    44 queries
    45 results
    46 schema
    47 schema transformations
    48 set
    49 structure
    50 theorem
    51 transactions
    52 transformation
    53 users
    54 words
    55 schema:name Designing deductive databases
    56 schema:pagination 29-68
    57 schema:productId Na785886c993744ca8d83eaa9a804462b
    58 Nde783faacc1241f48a116907da63ecd0
    59 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010947330
    60 https://doi.org/10.1007/bf00244512
    61 schema:sdDatePublished 2022-05-20T07:18
    62 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    63 schema:sdPublisher Nb8bdc31b259a4690a6169433a7203d6a
    64 schema:url https://doi.org/10.1007/bf00244512
    65 sgo:license sg:explorer/license/
    66 sgo:sdDataset articles
    67 rdf:type schema:ScholarlyArticle
    68 N20f62b370fad4b188af4251cd26260da schema:volumeNumber 4
    69 rdf:type schema:PublicationVolume
    70 N56c27d858caa4e99869becfd6ee261e1 rdf:first sg:person.0644424756.64
    71 rdf:rest rdf:nil
    72 N71de899674d541bb8279a8c9fc598175 rdf:first sg:person.01034346234.77
    73 rdf:rest N56c27d858caa4e99869becfd6ee261e1
    74 Na785886c993744ca8d83eaa9a804462b schema:name dimensions_id
    75 schema:value pub.1010947330
    76 rdf:type schema:PropertyValue
    77 Nb8bdc31b259a4690a6169433a7203d6a schema:name Springer Nature - SN SciGraph project
    78 rdf:type schema:Organization
    79 Nc511c3cf82274af588a8e12494af448c schema:issueNumber 1
    80 rdf:type schema:PublicationIssue
    81 Nde783faacc1241f48a116907da63ecd0 schema:name doi
    82 schema:value 10.1007/bf00244512
    83 rdf:type schema:PropertyValue
    84 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    85 schema:name Information and Computing Sciences
    86 rdf:type schema:DefinedTerm
    87 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    88 schema:name Information Systems
    89 rdf:type schema:DefinedTerm
    90 sg:journal.1136522 schema:issn 0168-7433
    91 1573-0670
    92 schema:name Journal of Automated Reasoning
    93 schema:publisher Springer Nature
    94 rdf:type schema:Periodical
    95 sg:person.01034346234.77 schema:affiliation grid-institutes:grid.266832.b
    96 schema:familyName Helman
    97 schema:givenName Paul
    98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01034346234.77
    99 rdf:type schema:Person
    100 sg:person.0644424756.64 schema:affiliation grid-institutes:grid.266832.b
    101 schema:familyName Veroff
    102 schema:givenName Robert
    103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0644424756.64
    104 rdf:type schema:Person
    105 sg:pub.10.1007/978-1-4615-8297-7_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020939581
    106 https://doi.org/10.1007/978-1-4615-8297-7_8
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/978-1-4684-3384-5_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007073347
    109 https://doi.org/10.1007/978-1-4684-3384-5_6
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/bf00244994 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004052381
    112 https://doi.org/10.1007/bf00244994
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/bf00289148 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025237166
    115 https://doi.org/10.1007/bf00289148
    116 rdf:type schema:CreativeWork
    117 grid-institutes:grid.266832.b schema:alternateName Department of Computer Science, University of New Mexico, 87131, Albuquerque, NM, USA
    118 schema:name Department of Computer Science, University of New Mexico, 87131, Albuquerque, NM, USA
    119 rdf:type schema:Organization
     




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


    ...