Database theory

Short description: Theoretical realm of databases and database management systems

Database theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems.

Theoretical aspects of data management include, among other areas, the foundations of query languages, computational complexity and expressive power of queries, finite model theory, database design theory, dependency theory, foundations of concurrency control and database recovery, deductive databases, temporal and spatial databases, real-time databases, managing uncertain data and probabilistic databases, and Web data.

Most research work has traditionally been based on the relational model, since this model is usually considered the simplest and most foundational model of interest. Corresponding results for other data models, such as object-oriented or semi-structured models, or, more recently, graph data models and XML, are often derivable from those for the relational model.[1]

Database theory helps one to understand the complexity and power of query languages and their connection to logic. Starting from relational algebra and first-order logic (which are equivalent by Codd's theorem) and the insight that important queries such as graph reachability are not expressible in this language,[2] more powerful language based on logic programming and fixpoint logic such as Datalog were studied.[3] The theory also explores foundations of query optimization and data integration. Here most work studied conjunctive queries, which admit query optimization even under constraints using the chase algorithm.

The main research conferences in the area are the ACM Symposium on Principles of Database Systems (PODS) and the International Conference on Database Theory (ICDT).

## Contents

* 1 See also
* 2 References
* 2.1 General references
* 3 External links

## See also

Main category: Database theory

* Data integration
* Conjunctive query
* Expressive power

## References

1. ↑ "A website on the Theoretical Foundations of Data Management" (in en). http://databasetheory.org/.
2. ↑ Aho, A.V. and Ullman, J.D., 1979, January. Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119).
3. ↑ Maier, D., Tekle, K.T., Kifer, M. and Warren, D.S., 2018. Datalog: concepts, history, and outlook. In Declarative Logic Programming: Theory, Systems, and Applications (pp. 3-100).

### General references

* Abiteboul, Serge; Hull, Richard B.; Vianu, Victor (1995), Foundations of Databases, Addison-Wesley, ISBN 0-201-53771-0, https://archive.org/details/foundationsofdat0000abit
* David Maier, The Theory of Relational Databases. Copyright 1983 David Maier. Available at http://web.cecs.pdx.edu/~maier/TheoryBook/TRD.html

## External links

* v
* t
* e

Database

Main|

* Requirements
* Theory
* Models
* Database management system
* Machine
* Server
* Application
* Connection
* datasource
* DSN
* Administrator
* Lock
* Types
* Tools

Languages|

* Data definition
* Data manipulation
* Query
* information retrieval

Security|

* Activity monitoring
* Audit
* Forensics
* Negative database

Design|

* Entities and relationships (and Enhanced notation)
* Normalization
* Refactoring
* Cardinality

Programming|

* Abstraction layer
* Object-relational mapping

Management|

* Virtualization
* Tuning
* caching
* Migration
* Preservation
* Integrity

See also|

* Database-centric architecture
* Intelligent database
* Two-phase locking
* Locks with ordered sharing
* Load file
* Publishing
* Halloween Problem
* Log shipping

* Book
* Category
* WikiProject

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Database theory. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Database_theory&oldid=300439"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template