A computational model of relational algebra
type: Item
instance of: scholarly article
title: A computational model of relational algebra
zbMATH Open document ID: 0623.68032
author: V. Eh. Vol'fengagen
author: V. Ya. Yatsuk
published in: Programming and Computer Software
publication date: 1985-01-01T00:00:00Z
review text: A relational logic is constructed in the form of a computational model. Its relationship with boolean algebra is shown and a method of supporting derived domains is introduced (a mechanism of ''modes''). The computational model is rendered intrinsically dynamic by introduction of ''possible worlds''. The proposed method was applied for development and implementation of the LISP/R relational DBMS.
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68P20
zbMATH DE Number: 4011923
zbMATH Keywords: relational logic
zbMATH Keywords: boolean algebra
zbMATH Keywords: computational model
zbMATH Keywords: possible worlds
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 4011923