Incorporating theory into database system development

Stemple, David; Sheard, Tim; Bunker, Ralph

doi:10.1016/0306-4573(86)90030-0

Cited by 2 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A further discussion of our development method has been presented elsewhere. 19 We call a database which includes a user-defined abstract data type an object-extended database. In this paper we present an example of an object-extended database which contains an abstract data type as a relational tuple component domain.…”

Section: 8 Introductionmentioning

confidence: 99%

Abstract data types in databases: Specification, manipulation and access

Stemple¹,

Sheard²,

Bunker³

1986

1986 IEEE Second International Conference on Data Engineering

View full text Add to dashboard Cite

The basic data types from which records can be constructed in most database management systems are limited to a few simple types such as integers, reals, and character strings. There are many applications, exemplified by office automation, computer-aided design and geographic information systems, that could benefit from management of databases containing the complex objects typically used in programming these systems. We call databases that contain user defined abstract data" types object-extended databases.In this paper we examine three aspects of providing support for object-extended databases: their specification, their manipulation by transactions, and access to them via queries. We show that a database specification scheme grounded formally in three abstract data types, finite sets, tuples and lists, accommodates the integration of databases and arbitrary abstract data types from the points of view of database designers, transaction programmers, and query writers and implementers?

show abstract

Section: 8 Introductionmentioning

confidence: 99%

Abstract data types in databases: Specification, manipulation and access

Stemple¹,

Sheard²,

Bunker³

1986

1986 IEEE Second International Conference on Data Engineering

View full text Add to dashboard Cite

show abstract

Resolving the tension between integrity and security using a theorem prover

1988

View full text Add to dashboard Cite

Some information in databases and knowledge bases often needs to be protected from disclosure to certain users. Traditional solutions involving multi-level mechanisms are threatened by the user's ability to infer higher level information from the semantics of the application. We concentrate on the revelation of secrets through a user running transactions in the presence of database integrity constraints. We develop a method of specifying secrets formally that not only exposes a useful structure and equivalence among secrets but also allows a theorem prover to detect certain security lapses during transaction compilation time.

show abstract

Incorporating theory into database system development

Cited by 2 publications

References 7 publications

Abstract data types in databases: Specification, manipulation and access

Abstract data types in databases: Specification, manipulation and access

Resolving the tension between integrity and security using a theorem prover

Contact Info

Product

Resources

About