498 search results - page 49 / 100 » A Logical Temporal Relational Data Model |
EUSFLAT
2001
15 years 1 months ago
2001
Architecture is a multidisciplinary science with many dimensions.For a design task the major part of the design requirements are often qualitative (soft) next to quantitative desi...
100
click to vote
ILP
2007
Springer
15 years 6 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
132
click to vote
CADE
2007
Springer
16 years 5 days ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
77
Voted
ER
2001
Springer
15 years 4 months ago
2001
Springer
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
105
click to vote
GIS
2002
ACM
14 years 11 months ago
2002
ACM
Geographical information systems are more and more based on a DBMS with spatial extensions, which is also the case for the system described in this paper. The design and implementa...