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 Ncdb4c65d35e24969aacfecc587e3748f
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 N879f27cecead4b4ab5fa0ac9714bbd27
30 Nd131c87f9afd4ce4b432a7ac603d2300
31 sg:journal.1136763
32 schema:name Analysis of Typed Inclusion Dependences with Null Values
33 schema:pagination 638-646
34 schema:productId N9a10595ba80e4fa7816635ebd05d2807
35 Nadc60764141540bdb60aa59928821c74
36 Nfea5234f93b945d9899482cb2610e44a
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 N1250687b6dee4e029649717885f31871
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 N1250687b6dee4e029649717885f31871 schema:name Springer Nature - SN SciGraph project
47 rdf:type schema:Organization
48 N14021fce70904f43b4c61b884ecfcaa1 schema:affiliation https://www.grid.ac/institutes/grid.426295.e
49 schema:familyName Zykin
50 schema:givenName S. V.
51 rdf:type schema:Person
52 N40c09ca5488447f490b1a81fa32371dd rdf:first N14021fce70904f43b4c61b884ecfcaa1
53 rdf:rest rdf:nil
54 N4d07274178f9407ea03fef1f94c34db8 schema:affiliation https://www.grid.ac/institutes/grid.445434.6
55 schema:familyName Zykin
56 schema:givenName V. S.
57 rdf:type schema:Person
58 N879f27cecead4b4ab5fa0ac9714bbd27 schema:issueNumber 7
59 rdf:type schema:PublicationIssue
60 N9a10595ba80e4fa7816635ebd05d2807 schema:name dimensions_id
61 schema:value pub.1112534965
62 rdf:type schema:PropertyValue
63 Nadc60764141540bdb60aa59928821c74 schema:name doi
64 schema:value 10.3103/s0146411618070258
65 rdf:type schema:PropertyValue
66 Ncdb4c65d35e24969aacfecc587e3748f rdf:first N4d07274178f9407ea03fef1f94c34db8
67 rdf:rest N40c09ca5488447f490b1a81fa32371dd
68 Nd131c87f9afd4ce4b432a7ac603d2300 schema:volumeNumber 52
69 rdf:type schema:PublicationVolume
70 Nfea5234f93b945d9899482cb2610e44a schema:name readcube_id
71 schema:value 72d900d84416f7e2ffd6a13864c76a5d1437af530b6da04da808e313a625b867
72 rdf:type schema:PropertyValue
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)


...