Search Sciweavers | Sciweavers

19892 search results - page 16 / 3979

» The POSTGRES Data Model

click to vote

POPL
2011
ACM

190views Programming Languages» more POPL 2011»

Making prophecies with decision predicates

13 years 20 days ago

Download research.microsoft.com

We describe a new algorithm for proving temporal properties expressed in LTL of inﬁnite-state programs. Our approach takes advantage of the fact that LTL properties can often be...

Byron Cook, Eric Koskinen

claim paper

Read More »

click to vote

DMDW
2000

121views Management» more DMDW 2000»

From enterprise models to dimensional models: a methodology for data warehouse and data mart design

13 years 11 months ago

Download SunSITE.Informatik.RWTH-Aachen.DE

This paper describes a method for developing dimensional models from traditional Entity Relationship models. This can be used to design data warehouses and data marts based on ent...

Daniel L. Moody, Mark A. R. Kortink

claim paper

Read More »

click to vote

ISD
1999
Springer

262views Database» more ISD 1999»

Spatial Pictogram Enhanced Conceptual Data Models and Their Translation to Logical Data Models

14 years 2 months ago

Download www-users.cs.umn.edu

The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...

Shashi Shekhar, Ranga Raju Vatsavai, Sanjay Chawla...

claim paper

Read More »

click to vote

MMM
2003
Springer

152views Multimedia» more MMM 2003»

Modeling Video Data for Content Based Queries: Extending the DISIMA Image Data Model

14 years 3 months ago