Properties of a relational framework synthesized over a set of semantically atomic predicates

Authors:
B. E. Panchenko;I. M. Pysanko
Affiliations:
Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;Zaporozhye Institute of Acoustic and Panoramic Investigations, National Academy of Sciences of Ukraine, Zaporozhye, Ukraine
Venue:
Cybernetics and Systems Analysis
Year:
2009

Citing 5
Cited 0

Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)
The relational model for database management: version 2

The relational model for database management: version 2
Simple Epistemic Logic for Relational Database

MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
Date on Database: Writings 2000-2006

Date on Database: Writings 2000-2006

Quantified Score

Hi-index	0.00

Visualization

Abstract

Properties of a relational framework synthesized over a set of semantically atomic predicates are analyzed. A relational framework is shown to be stable with respect to a modification in the basic predicate set. The stability, uniqueness, and completeness allow one to consider a relational framework as a universal "carrier" for object domains with arbitrary semantics.