Mathematical Foundations of Databases
UNIVERSITY OF SOUTHERN CALIFORNIA LOS ANGELES DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
Two distinct topics were studied, each by one of the research assistants and each destined to be part of his doctoral dissertation. The first topic, Properties of Spreadsheet Histories, formalized the use of spreadsheets for modelling the history of accounting-like information. The investigated subtopics included database operations such as selection, projection, each of the database operations were also presented. The second topic, Declarative Sequence Operations and Their Usage in Query Languages, introduced a family of sequence operations based on the regular expressions from formal language theory. The items examined included their mathematical properties such as their expressive power and their usage in various query languages e.g., SQL of database systems. A number of example queries were also exhibited.
- Computer Programming and Software
- Computer Systems