This thesis documents the design and implementation of procedures in a database programming language. The purpose of this thesis is to integrate procedure facilities into an existing relational database system.A relation is defined over a set of attributes. Given the values of a subset of attributes as input, a selection operation looks up the relation and outputs the values of the remaining attributes. Our proposed procedure construct supports this concept: a procedure is defined over a set of parameters, and the procedure can be invoked with different subsets of input parameters. This is accomplished by allowing procedures to have a sequence of blocks within the procedure body. Each block abstracts a sequence of actions which requires a s...
This paper demonstrates that a simple rule system can be constructed that supports a more powerful v...
AbstractThe development of database applications is usually carried out informally. The derivation o...
Object-oriented programming (OOP) is the most successful paradigm used in programming environments. ...
Recent developments in the design of database systems include proposals of several extensions to the...
This thesis documents the design and implementation of Updates and Event Handlers in a relational da...
This thesis documents the design and implementation of computations, the procedural abstraction faci...
This paper suggests that more powerful data base systems (DBMS) can be built by supporting data base...
The development of database applications is usually carried out informally. The derivation of databa...
Življenje danes si težko predstavljamo brez shranjevanja in obdelovanja podatkov, kar nam med drugim...
Relational database management systems (RDBMS) and the programming languages have distinct points of...
This thesis explores the use of functional languages to implement, manipulate and query databases. ...
This dissertation examines the application of current research on abstract data types and on generic...
This paper describes an integrated procedure mechanism that permits procedures to be used as recursi...
The derivation of database programs directly from formal specifications is a well known and unsolve...
A formal system for proving properties of programs accessing a database is introduced. Proving that ...
This paper demonstrates that a simple rule system can be constructed that supports a more powerful v...
AbstractThe development of database applications is usually carried out informally. The derivation o...
Object-oriented programming (OOP) is the most successful paradigm used in programming environments. ...
Recent developments in the design of database systems include proposals of several extensions to the...
This thesis documents the design and implementation of Updates and Event Handlers in a relational da...
This thesis documents the design and implementation of computations, the procedural abstraction faci...
This paper suggests that more powerful data base systems (DBMS) can be built by supporting data base...
The development of database applications is usually carried out informally. The derivation of databa...
Življenje danes si težko predstavljamo brez shranjevanja in obdelovanja podatkov, kar nam med drugim...
Relational database management systems (RDBMS) and the programming languages have distinct points of...
This thesis explores the use of functional languages to implement, manipulate and query databases. ...
This dissertation examines the application of current research on abstract data types and on generic...
This paper describes an integrated procedure mechanism that permits procedures to be used as recursi...
The derivation of database programs directly from formal specifications is a well known and unsolve...
A formal system for proving properties of programs accessing a database is introduced. Proving that ...
This paper demonstrates that a simple rule system can be constructed that supports a more powerful v...
AbstractThe development of database applications is usually carried out informally. The derivation o...
Object-oriented programming (OOP) is the most successful paradigm used in programming environments. ...