2021-07-15
AUTHORSRobert Brijder, Marc Gyssens, Jan Van den Bussche
ABSTRACTWe show that the matrix query language MATLANG corresponds to a natural fragment of the positive relational algebra on K-relations. The fragment is defined by introducing a composition operator and restricting K-relation arities to 2. We then proceed to show that MATLANG can express all matrix queries expressible in the positive relational algebra on K-relations, when intermediate arities are restricted to 3. Thus we offer an analogue, in a model with numerical data, to the situation in classical logic, where the algebra of binary relations is equivalent to first-order logic with three variables. More... »
PAGES181-210
http://scigraph.springernature.com/pub.10.1007/s10472-021-09760-4
DOIhttp://dx.doi.org/10.1007/s10472-021-09760-4
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1139733080
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/01",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Mathematical Sciences",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Pure Mathematics",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Faculty of Sciences, Hasselt University, Martelarenlaan 42, 3500, Hasselt, Belgium",
"id": "http://www.grid.ac/institutes/grid.12155.32",
"name": [
"Faculty of Sciences, Hasselt University, Martelarenlaan 42, 3500, Hasselt, Belgium"
],
"type": "Organization"
},
"familyName": "Brijder",
"givenName": "Robert",
"id": "sg:person.01124236701.65",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01124236701.65"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Faculty of Sciences, Hasselt University, Martelarenlaan 42, 3500, Hasselt, Belgium",
"id": "http://www.grid.ac/institutes/grid.12155.32",
"name": [
"Faculty of Sciences, Hasselt University, Martelarenlaan 42, 3500, Hasselt, Belgium"
],
"type": "Organization"
},
"familyName": "Gyssens",
"givenName": "Marc",
"id": "sg:person.016126431027.84",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016126431027.84"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Faculty of Sciences, Hasselt University, Martelarenlaan 42, 3500, Hasselt, Belgium",
"id": "http://www.grid.ac/institutes/grid.12155.32",
"name": [
"Faculty of Sciences, Hasselt University, Martelarenlaan 42, 3500, Hasselt, Belgium"
],
"type": "Organization"
},
"familyName": "Van den Bussche",
"givenName": "Jan",
"id": "sg:person.012021464533.34",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012021464533.34"
],
"type": "Person"
}
],
"citation": [
{
"id": "sg:pub.10.1007/bf00370681",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1032494380",
"https://doi.org/10.1007/bf00370681"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-94-011-5694-3",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1042156914",
"https://doi.org/10.1007/978-94-011-5694-3"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-662-21676-7",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1109712412",
"https://doi.org/10.1007/978-3-662-21676-7"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-030-39951-1_3",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1124370144",
"https://doi.org/10.1007/978-3-030-39951-1_3"
],
"type": "CreativeWork"
}
],
"datePublished": "2021-07-15",
"datePublishedReg": "2021-07-15",
"description": "We show that the matrix query language MATLANG corresponds to a natural fragment of the positive relational algebra on K-relations. The fragment is defined by introducing a composition operator and restricting K-relation arities to 2. We then proceed to show that MATLANG can express all matrix queries expressible in the positive relational algebra on K-relations, when intermediate arities are restricted to 3. Thus we offer an analogue, in a model with numerical data, to the situation in classical logic, where the algebra of binary relations is equivalent to first-order logic with three variables.",
"genre": "article",
"id": "sg:pub.10.1007/s10472-021-09760-4",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": [
{
"id": "sg:journal.1043955",
"issn": [
"1012-2443",
"1573-7470"
],
"name": "Annals of Mathematics and Artificial Intelligence",
"publisher": "Springer Nature",
"type": "Periodical"
},
{
"issueNumber": "2-3",
"type": "PublicationIssue"
},
{
"type": "PublicationVolume",
"volumeNumber": "90"
}
],
"keywords": [
"first-order logic",
"natural fragments",
"relational algebra",
"logic",
"classical logic",
"binary relations",
"arity",
"relation",
"situation",
"queries",
"fragments",
"positive relational algebra",
"algebra",
"K relations",
"composition operators",
"numerical data",
"data",
"operators",
"matrix queries",
"model",
"variables",
"matrix",
"analogues"
],
"name": "On matrices and K-relations",
"pagination": "181-210",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1139733080"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/s10472-021-09760-4"
]
}
],
"sameAs": [
"https://doi.org/10.1007/s10472-021-09760-4",
"https://app.dimensions.ai/details/publication/pub.1139733080"
],
"sdDataset": "articles",
"sdDatePublished": "2022-05-20T07:39",
"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_903.jsonl",
"type": "ScholarlyArticle",
"url": "https://doi.org/10.1007/s10472-021-09760-4"
}
]Download the RDF metadata as: json-ld nt turtle xml License info
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/s10472-021-09760-4'
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/s10472-021-09760-4'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10472-021-09760-4'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10472-021-09760-4'
This table displays all metadata directly associated to this object as RDF triples.
111 TRIPLES
22 PREDICATES
52 URIs
40 LITERALS
6 BLANK NODES