139 search results - page 1 / 28 » A Deductive and Typed Object-Oriented Language |
DOOD
1993
Springer
13 years 8 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
DASFAA
2005
IEEE
13 years 10 months ago
2005
IEEE
In the past decade, researchers have combined deductive and object-oriented features to produce systems that are powerful and have excellent modeling capabilities. More recently, a...
DOOD
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
ICDT
1995
ACM
13 years 8 months ago
1995
ACM
PLDI
1990
ACM
13 years 8 months ago
1990
ACM
