Atlas home || Conferences | Abstracts | about Atlas

21st Days of Weak Arithmetics
June 7-9, 2002
Steklov Institute of Mathematics
St. Petersburg, Russia

Organizers
Paola d'Aquino (Italy), Anatoly Beltiukov (Russia), Patrick Cegielski (France), Gregory Kucherov (France), Krzysztof Lorys (Poland), Yuri Matiyassevich (Russia), the chairman, Jean-Pierre Ressayre (France), Denis Richard (France), Maxim Vsemirov (Russia)

View Abstracts
Conference Homepage

Multidomain algebra of Database with ER-model
by
Tatiana Azhimova
Udmurt State University

Multidomain algebra is proposed as model of contemporary databases that can be investigated as an interpretation of some weak theories. Types are some sets of objects. An accumulative type consists of a set of possible values and a method of elements deriving which determines operation of accumulation. A simple attribute is a pair <n, t> where n is a name, and t is a type. A structural attribute is a tuple
<n0, <n1, t1 >, ... <nl, tl >>
where n0 is a name, and <ni, ti > are attributes. An entity is a triple <n, <k, tk >, <s, ts >>, where n is a name, and <k, tk > and <s, ts > are attributes. If type ts is an accumulative type, then this entity is called calculated entity. The relationship is a quadruple <n, t, A, B >, where n is a relationship name, t is a relationship type, A and B are entities. A system of simple types is multidomain algebra with some system of global operations.

Date received: March 15, 2002

Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cail-09.