Algebraic Expressions with State Constraints for Causal Relations and Data Semantics

Susumu Yamasaki, Mariko Sasakura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationData Management Technologies and Applications - 9th International Conference, DATA 2020, Revised Selected Papers
EditorsSlimane Hammoudi, Christoph Quix, Jorge Bernardino
PublisherSpringer Science and Business Media Deutschland GmbH
Pages245-266
Number of pages22
ISBN (Print)9783030830137
DOIs
Publication statusPublished - 2021
Event9th International Conference on Data Management Technologies and Applications, DATA 2020 - Virtual, Online
Duration: Jul 7 2020Jul 9 2020

Publication series

NameCommunications in Computer and Information Science
Volume1446
ISSN (Print)1865-0929
ISSN (Electronic)1865-0937

Conference

Conference9th International Conference on Data Management Technologies and Applications, DATA 2020
CityVirtual, Online
Period7/7/207/9/20

Keywords

  • Algebraic approach
  • Causal relation
  • State constraint

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Fingerprint

Dive into the research topics of 'Algebraic Expressions with State Constraints for Causal Relations and Data Semantics'. Together they form a unique fingerprint.

Cite this