Relational specifications
Rudolf Berghammer, Gunther Schmidt (1993)
Banach Center Publications
Similarity:
Rudolf Berghammer, Gunther Schmidt (1993)
Banach Center Publications
Similarity:
Dimitrov, Vladimir (2010)
Union of Bulgarian Mathematicians
Similarity:
Владимир Димитров - Целта на настоящия доклад е формалната спецификация на релационния модел на данни. Тази спецификация след това може да бъде разширена към Обектно-релационния модел на данни и към Потоците от данни. The aim of this paper is to specify formally the Relational Model of Data. This specification could be extended to cover Object-Relational Model of Data and Data Streams. *2000 Mathematics Subject Classification: 68U35. This work was sponsored by...
Maxim Lukichev, Boris Novikov, Pankaj Mehra (2012)
Computer Science and Information Systems
Similarity:
Dirk Leinders, Jan Van Den Bussche (2009)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Codd defined the relational algebra [E.F. Codd, Communications of the ACM 13 (1970) 377–387; E.F. Codd, Relational completeness of data base sublanguages, in Data Base Systems, R. Rustin, Ed., Prentice-Hall (1972) 65–98] as the algebra with operations projection, join, restriction, union and difference. His projection operator can drop, permute and repeat columns of a relation. This permuting and repeating of columns does not really add expressive power to the relational algebra. Indeed,...
Bogdan, Crenguţa (2002)
Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică
Similarity:
Pavlović-Lažetić, Gordana, Nenadić, Goran (1995)
Matematichki Vesnik
Similarity:
Kazimierz Urbanik (1966)
Colloquium Mathematicum
Similarity:
Erik Poll (2001)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Coalgebras have been proposed as formal basis for the semantics of objects in the sense of object-oriented programming. This paper shows that this semantics provides a smooth interpretation for subtyping, a central notion in object-oriented programming. We show that different characterisations of behavioural subtyping found in the literature can conveniently be expressed in coalgebraic terms. We also investigate the subtle difference between behavioural subtyping and refinement. ...
Evelyn Nelson (1975)
Colloquium Mathematicae
Similarity:
S. Świerczkowski (1960)
Fundamenta Mathematicae
Similarity:
Dušan Malbaški, Dragan Ivetić (1996)
The Yugoslav Journal of Operations Research
Similarity:
P. L. Ivanescu (1966)
Matematički Vesnik
Similarity:
Presic, Marica D., Presic, Slavisa B. (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity: