| |
 |
|
|
Golshani, Forouzan
Arizona State University
Tempe, Arizona
|
|
 |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 7 of 7
reviews
|
|
|
|
|
|
|
|
Inclusion of new types in relational data base systems
Stonebraker M., Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988. Type: Book (9780934613651)
In this report on the development of a prototype extension of INGRES, Stonebraker proposes a method for including user-defined data types in relational database systems. Before a DBMS can fully accommodate new data types, certain requi...
|
Oct 1 1989 |
|
|
|
|
|
|
GAMMA--a high performance dataflow database machine
DeWitt D., Graefe G., Kumar K., Gerber R., Heytens M., Muralikrishna M., Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988. Type: Book (9780934613651)
It has long been recognized that the major obstacle to performing I/O-intensive computations such as database processing with the traditional von Neumann architecture is the processor-memory bottleneck. Von Neumann computers are best s...
|
Jun 1 1989 |
|
|
|
|
|
|
Specification and top-down design of distributed systems
Broy M. Journal of Computer and System Sciences 34(2-3): 236-265, 1987. Type: Article
Our progress on the development of systematic software design methodologies has been slow. The well-recognized “software crisis” is a symptom of the limitations inherent in the traditional approach to the design and...
|
Aug 1 1988 |
|
|
|
|
|
|
SEAVE: a mechanism for verifying user presuppositions in query systems
Motro A. (ed) ACM Transactions on Information Systems 4(4): 312-330, 1986. Type: Article
Often users of database systems submit queries reflecting certain assumptions that they have made about the information contained in the system. For example, a user may ask the question: “Is Jack’s brother older tha...
|
Oct 1 1987 |
|
|
|
|
|
|
Logic for computer science: foundations of automatic theorem proving
Gallier J., Harper&Row Publishers, Inc., New York, NY, 1986. 511 pp. Type: Book (9780060422257), Reviews: (2 of 2)
This book is intended as an introduction to mathematical logic, with anemphasis on proof theory and procedures for constructing formal proofs offormulae algorithmically. The book is designed primarily for students, computerscientists, ...
|
Feb 1 1987 |
|
|
|
|
|
|
Natural language query processing in a temporal database
De S., Pan S., Whinston A. Data & Knowledge Engineering 1(1): 3-15, 1985. Type: Article
This paper starts off by outlining a number of interesting goals. Choosing equational logic as their vehicle, the authors address a number of issues on representations and querying of temporal information in a database setting. In addi...
|
Mar 1 1986 |
|
|
|
|
|
|
Asserting the optimality of serial SJRPs in processing simple queries in chain networks
Gursel G., Scheuermann P. Information Processing Letters 19(5): 255-260, 1984. Type: Article
Minimization of the total volume of data transmissions (and consequently the time required) is an important goal in the processing of queries in distributed database systems. The problem of finding an optimal schedule of operations for...
|
Sep 1 1985 |
|
|
|
|
|
| |
|
|
| |
|
|
