Supporting Lists in a Data Model (A Timely Approach)

  title={Supporting Lists in a Data Model (A Timely Approach)},
  author={Joel E. Richardson},
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constructed and how they can be queried. We propose that operators from a discrete, linear-time temporal logic provide a natural basis for making assertions about the ordering of elements in a list. We then show how such assertions may be incorporated into a query algebra by extending the Melampus Data Model (MDM) with a list… CONTINUE READING
Highly Cited
This paper has 94 citations. REVIEW CITATIONS


Publications citing this paper.

94 Citations

Citations per Year
Semantic Scholar estimates that this publication has 94 citations based on the available data.

See our FAQ for additional information.