Analysis of Typed Inclusion Dependences with Null Values View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2018-12

AUTHORS

V. S. Zykin, S. V. Zykin

ABSTRACT

Null values have become an urgent problem since the creation of the relational data model. The impact of uncertainty affects all types of dependences used in designing and operating a database. This fully applies to inclusion dependences, which are the theoretical basis for referential integrity on the data. Attempts to solve this problem contain inaccuracies in the statement of the problem and its solution. The errors in formulation of the problem can be associated with use in the definition of untyped inclusion dependences, which leads to permutations of the attributes, although, the attributes in database technology are identified by name and not by their place. In addition, linking with the use of inclusion dependences of heterogeneous attributes, even of the same type, is a sign of lost functional dependences and leads to interaction of inclusion dependences and non-trivial functional dependences. Inaccuracies in the solution of the problem are contained in the statements of axioms and proof of their properties, including completeness. In this paper we propose an original solution of this problem only for typed inclusion dependences in the presence of Null values: a new axiom system is proposed, its completeness and soundness are proven. On the basis of inference rules, we developed an algorithm for the construction of a nonredundant set of typed inclusion dependences. The correctness of the algorithm is proven. More... »

PAGES

638-646

References to SciGraph publications

Identifiers

URI

http://scigraph.springernature.com/pub.10.3103/s0146411618070258

DOI

http://dx.doi.org/10.3103/s0146411618070258

DIMENSIONS

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


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/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Omsk State Technical University", 
          "id": "https://www.grid.ac/institutes/grid.445434.6", 
          "name": [
            "Omsk State Technical University, 644050, Omsk, Russia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zykin", 
        "givenName": "V. S.", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Sobolev Institute of Mathematics", 
          "id": "https://www.grid.ac/institutes/grid.426295.e", 
          "name": [
            "Sobolev Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, 630090, Novosibirsk, Russia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zykin", 
        "givenName": "S. V.", 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0020-0190(83)90005-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005708804"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0022-0000(84)90081-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1006004870"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/78935.78937", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018892100"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/800061.808756", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019255279"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0306-4379(01)00027-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022422349"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/inco.1997.2631", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1024037092"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/2402.322389", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1027593069"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/2396761.2398580", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030473498"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.entcs.2008.04.090", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030838402"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/2806416.2806539", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032190625"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1201/9780203505168", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032523988"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.tcs.2013.11.002", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035515914"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/382274.382402", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037499602"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0035008", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1039843521", 
          "https://doi.org/10.1007/bfb0035008"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.is.2014.07.007", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046941450"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0022-0000(84)90075-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052680469"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/69.842267", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061213819"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1137/0214049", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1062841838"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1051/ita/1993270301831", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1083550425"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2018-12", 
    "datePublishedReg": "2018-12-01", 
    "description": "Null values have become an urgent problem since the creation of the relational data model. The impact of uncertainty affects all types of dependences used in designing and operating a database. This fully applies to inclusion dependences, which are the theoretical basis for referential integrity on the data. Attempts to solve this problem contain inaccuracies in the statement of the problem and its solution. The errors in formulation of the problem can be associated with use in the definition of untyped inclusion dependences, which leads to permutations of the attributes, although, the attributes in database technology are identified by name and not by their place. In addition, linking with the use of inclusion dependences of heterogeneous attributes, even of the same type, is a sign of lost functional dependences and leads to interaction of inclusion dependences and non-trivial functional dependences. Inaccuracies in the solution of the problem are contained in the statements of axioms and proof of their properties, including completeness. In this paper we propose an original solution of this problem only for typed inclusion dependences in the presence of Null values: a new axiom system is proposed, its completeness and soundness are proven. On the basis of inference rules, we developed an algorithm for the construction of a nonredundant set of typed inclusion dependences. The correctness of the algorithm is proven.", 
    "genre": "research_article", 
    "id": "sg:pub.10.3103/s0146411618070258", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1136763", 
        "issn": [
          "0146-4116", 
          "1558-108X"
        ], 
        "name": "Automatic Control and Computer Sciences", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "7", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "52"
      }
    ], 
    "name": "Analysis of Typed Inclusion Dependences with Null Values", 
    "pagination": "638-646", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "72d900d84416f7e2ffd6a13864c76a5d1437af530b6da04da808e313a625b867"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.3103/s0146411618070258"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1112534965"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.3103/s0146411618070258", 
      "https://app.dimensions.ai/details/publication/pub.1112534965"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T11:06", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000352_0000000352/records_60375_00000004.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://link.springer.com/10.3103%2FS0146411618070258"
  }
]
 

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.3103/s0146411618070258'

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.3103/s0146411618070258'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.3103/s0146411618070258'

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

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


 

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

127 TRIPLES      21 PREDICATES      46 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.3103/s0146411618070258 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author N0570f37ddbc945118dfb736b4b94a430
4 schema:citation sg:pub.10.1007/bfb0035008
5 https://doi.org/10.1006/inco.1997.2631
6 https://doi.org/10.1016/0020-0190(83)90005-4
7 https://doi.org/10.1016/0022-0000(84)90075-8
8 https://doi.org/10.1016/0022-0000(84)90081-3
9 https://doi.org/10.1016/j.entcs.2008.04.090
10 https://doi.org/10.1016/j.is.2014.07.007
11 https://doi.org/10.1016/j.tcs.2013.11.002
12 https://doi.org/10.1016/s0306-4379(01)00027-8
13 https://doi.org/10.1051/ita/1993270301831
14 https://doi.org/10.1109/69.842267
15 https://doi.org/10.1137/0214049
16 https://doi.org/10.1145/2396761.2398580
17 https://doi.org/10.1145/2402.322389
18 https://doi.org/10.1145/2806416.2806539
19 https://doi.org/10.1145/382274.382402
20 https://doi.org/10.1145/78935.78937
21 https://doi.org/10.1145/800061.808756
22 https://doi.org/10.1201/9780203505168
23 schema:datePublished 2018-12
24 schema:datePublishedReg 2018-12-01
25 schema:description Null values have become an urgent problem since the creation of the relational data model. The impact of uncertainty affects all types of dependences used in designing and operating a database. This fully applies to inclusion dependences, which are the theoretical basis for referential integrity on the data. Attempts to solve this problem contain inaccuracies in the statement of the problem and its solution. The errors in formulation of the problem can be associated with use in the definition of untyped inclusion dependences, which leads to permutations of the attributes, although, the attributes in database technology are identified by name and not by their place. In addition, linking with the use of inclusion dependences of heterogeneous attributes, even of the same type, is a sign of lost functional dependences and leads to interaction of inclusion dependences and non-trivial functional dependences. Inaccuracies in the solution of the problem are contained in the statements of axioms and proof of their properties, including completeness. In this paper we propose an original solution of this problem only for typed inclusion dependences in the presence of Null values: a new axiom system is proposed, its completeness and soundness are proven. On the basis of inference rules, we developed an algorithm for the construction of a nonredundant set of typed inclusion dependences. The correctness of the algorithm is proven.
26 schema:genre research_article
27 schema:inLanguage en
28 schema:isAccessibleForFree false
29 schema:isPartOf N0d6ba947dd6d47e0bda4cf0cc94682ab
30 N6c985cffbc614a3dba022ae95ad07608
31 sg:journal.1136763
32 schema:name Analysis of Typed Inclusion Dependences with Null Values
33 schema:pagination 638-646
34 schema:productId N6815aeabd0cd423882ad607e29b6325c
35 N714429cbb24c4369993cec785234d923
36 N85449e38b0fa4ce2ace477649aab94ab
37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1112534965
38 https://doi.org/10.3103/s0146411618070258
39 schema:sdDatePublished 2019-04-11T11:06
40 schema:sdLicense https://scigraph.springernature.com/explorer/license/
41 schema:sdPublisher Nb74db65c360d4009b4d842fba3f25ad7
42 schema:url https://link.springer.com/10.3103%2FS0146411618070258
43 sgo:license sg:explorer/license/
44 sgo:sdDataset articles
45 rdf:type schema:ScholarlyArticle
46 N0570f37ddbc945118dfb736b4b94a430 rdf:first Nde7419cf71f1440daa3fd13816b68648
47 rdf:rest N8e74020e29964499a710c273f4b055eb
48 N0d6ba947dd6d47e0bda4cf0cc94682ab schema:issueNumber 7
49 rdf:type schema:PublicationIssue
50 N6815aeabd0cd423882ad607e29b6325c schema:name dimensions_id
51 schema:value pub.1112534965
52 rdf:type schema:PropertyValue
53 N6c985cffbc614a3dba022ae95ad07608 schema:volumeNumber 52
54 rdf:type schema:PublicationVolume
55 N714429cbb24c4369993cec785234d923 schema:name readcube_id
56 schema:value 72d900d84416f7e2ffd6a13864c76a5d1437af530b6da04da808e313a625b867
57 rdf:type schema:PropertyValue
58 N85449e38b0fa4ce2ace477649aab94ab schema:name doi
59 schema:value 10.3103/s0146411618070258
60 rdf:type schema:PropertyValue
61 N8e74020e29964499a710c273f4b055eb rdf:first Nc462582c5bed43ce8df59889774200bf
62 rdf:rest rdf:nil
63 Nb74db65c360d4009b4d842fba3f25ad7 schema:name Springer Nature - SN SciGraph project
64 rdf:type schema:Organization
65 Nc462582c5bed43ce8df59889774200bf schema:affiliation https://www.grid.ac/institutes/grid.426295.e
66 schema:familyName Zykin
67 schema:givenName S. V.
68 rdf:type schema:Person
69 Nde7419cf71f1440daa3fd13816b68648 schema:affiliation https://www.grid.ac/institutes/grid.445434.6
70 schema:familyName Zykin
71 schema:givenName V. S.
72 rdf:type schema:Person
73 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
74 schema:name Information and Computing Sciences
75 rdf:type schema:DefinedTerm
76 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
77 schema:name Information Systems
78 rdf:type schema:DefinedTerm
79 sg:journal.1136763 schema:issn 0146-4116
80 1558-108X
81 schema:name Automatic Control and Computer Sciences
82 rdf:type schema:Periodical
83 sg:pub.10.1007/bfb0035008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039843521
84 https://doi.org/10.1007/bfb0035008
85 rdf:type schema:CreativeWork
86 https://doi.org/10.1006/inco.1997.2631 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024037092
87 rdf:type schema:CreativeWork
88 https://doi.org/10.1016/0020-0190(83)90005-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005708804
89 rdf:type schema:CreativeWork
90 https://doi.org/10.1016/0022-0000(84)90075-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052680469
91 rdf:type schema:CreativeWork
92 https://doi.org/10.1016/0022-0000(84)90081-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006004870
93 rdf:type schema:CreativeWork
94 https://doi.org/10.1016/j.entcs.2008.04.090 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030838402
95 rdf:type schema:CreativeWork
96 https://doi.org/10.1016/j.is.2014.07.007 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046941450
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1016/j.tcs.2013.11.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035515914
99 rdf:type schema:CreativeWork
100 https://doi.org/10.1016/s0306-4379(01)00027-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022422349
101 rdf:type schema:CreativeWork
102 https://doi.org/10.1051/ita/1993270301831 schema:sameAs https://app.dimensions.ai/details/publication/pub.1083550425
103 rdf:type schema:CreativeWork
104 https://doi.org/10.1109/69.842267 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061213819
105 rdf:type schema:CreativeWork
106 https://doi.org/10.1137/0214049 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841838
107 rdf:type schema:CreativeWork
108 https://doi.org/10.1145/2396761.2398580 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030473498
109 rdf:type schema:CreativeWork
110 https://doi.org/10.1145/2402.322389 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027593069
111 rdf:type schema:CreativeWork
112 https://doi.org/10.1145/2806416.2806539 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032190625
113 rdf:type schema:CreativeWork
114 https://doi.org/10.1145/382274.382402 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037499602
115 rdf:type schema:CreativeWork
116 https://doi.org/10.1145/78935.78937 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018892100
117 rdf:type schema:CreativeWork
118 https://doi.org/10.1145/800061.808756 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019255279
119 rdf:type schema:CreativeWork
120 https://doi.org/10.1201/9780203505168 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032523988
121 rdf:type schema:CreativeWork
122 https://www.grid.ac/institutes/grid.426295.e schema:alternateName Sobolev Institute of Mathematics
123 schema:name Sobolev Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, 630090, Novosibirsk, Russia
124 rdf:type schema:Organization
125 https://www.grid.ac/institutes/grid.445434.6 schema:alternateName Omsk State Technical University
126 schema:name Omsk State Technical University, 644050, Omsk, Russia
127 rdf:type schema:Organization
 




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


...