TY - GEN
T1 - Algebraic Expressions with State Constraints for Causal Relations and Data Semantics
AU - Yamasaki, Susumu
AU - Sasakura, Mariko
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - This paper deals with algebraic expressions constrained by states for causal relations. Abstracted from procedural and reference data relations, Heyting algebra expressions of some form may be adopted as theoretical basis of a language system with state constrains for data representations. Query operations for such algebraic expressions are presented by 3-valued model theory of algebraic expressions, where the unknown value is available and negatives are used in two ways. Model theory of algebraic expressions is given by both prefixpoint of associated nonmonotonic mappings and predicates of corresponding queries, such that semantics is denotational. As regards state traverses and transitions accompanied by queries at states, algebraic structure is presented in a semiring structure, where alternation for selections of state transitions, and concatenation of state transitions are involved in. Models of algebraic expressions denote queries such that they are organized into sequences on a semiring structure. In terms of model construction and semiring structure, this paper presents data semantics abstracted for state constraint expressions of causal relations.
AB - This paper deals with algebraic expressions constrained by states for causal relations. Abstracted from procedural and reference data relations, Heyting algebra expressions of some form may be adopted as theoretical basis of a language system with state constrains for data representations. Query operations for such algebraic expressions are presented by 3-valued model theory of algebraic expressions, where the unknown value is available and negatives are used in two ways. Model theory of algebraic expressions is given by both prefixpoint of associated nonmonotonic mappings and predicates of corresponding queries, such that semantics is denotational. As regards state traverses and transitions accompanied by queries at states, algebraic structure is presented in a semiring structure, where alternation for selections of state transitions, and concatenation of state transitions are involved in. Models of algebraic expressions denote queries such that they are organized into sequences on a semiring structure. In terms of model construction and semiring structure, this paper presents data semantics abstracted for state constraint expressions of causal relations.
KW - Algebraic approach
KW - Causal relation
KW - State constraint
UR - http://www.scopus.com/inward/record.url?scp=85113310882&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85113310882&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-83014-4_12
DO - 10.1007/978-3-030-83014-4_12
M3 - Conference contribution
AN - SCOPUS:85113310882
SN - 9783030830137
T3 - Communications in Computer and Information Science
SP - 245
EP - 266
BT - Data Management Technologies and Applications - 9th International Conference, DATA 2020, Revised Selected Papers
A2 - Hammoudi, Slimane
A2 - Quix, Christoph
A2 - Bernardino, Jorge
PB - Springer Science and Business Media Deutschland GmbH
T2 - 9th International Conference on Data Management Technologies and Applications, DATA 2020
Y2 - 7 July 2020 through 9 July 2020
ER -