Academic literature on the topic 'Deductive database'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Deductive database.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Deductive database"

1

Grant, John, and Jack Minker. "Deductive database theories." Knowledge Engineering Review 4, no. 4 (1989): 267–304. http://dx.doi.org/10.1017/s0269888900005129.

Full text
Abstract:
AbstractThis paper surveys a variety of deductive database theories. Such theories differ from one another in the set of axioms and metarules that they allow and use. The following theories are discussed: relational, Horn, and stratified in the text; protected, disjunctive, typed, extended Horn, and normal in the appendix. Connections with programming in terms of the declarative, fixpoint, and procedural semantics are explained. Negation is treated in several different ways: closed world, completed database, and negation as failure. For each theory examples are given and implementation issues
APA, Harvard, Vancouver, ISO, and other styles
2

Liu, Mengchi. "Deductive database languages." ACM Computing Surveys 31, no. 1 (1999): 27–62. http://dx.doi.org/10.1145/311531.311533.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jackson, M. "Building a deductive database." Information and Software Technology 35, no. 11-12 (1993): 698. http://dx.doi.org/10.1016/0950-5849(93)90086-i.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Rabuzin, Kornelije. "Deductive Data Warehouses." International Journal of Data Warehousing and Mining 10, no. 1 (2014): 16–31. http://dx.doi.org/10.4018/ijdwm.2014010102.

Full text
Abstract:
This paper presents the idea of deductive data warehouses. Deductive data warehouses rely on deductive databases but instead of a database in the background a data warehouse is used. The authors show how Datalog (as a logic programming language) can be used to perform OLAP analysis on data. Since data warehouses don't use all the technologies that databases do (locking, transactions, integrity constraints, etc., which are not relevant in this context), some things are different and simpler then when working with deductive databases. The authors demonstrate the idea on an example and the author
APA, Harvard, Vancouver, ISO, and other styles
5

Suksut, Keerachart, Pasapitch Chujai, Nittaya Kerdprasop, and Kittisak Kerdprasop. "Top-k Ranking with Membership Function for Deductive Database." International Journal of Computer Theory and Engineering 6, no. 6 (2014): 500–503. http://dx.doi.org/10.7763/ijcte.2014.v6.917.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Sagonas, Konstantinos, Terrance Swift, and David S. Warren. "XSB as a deductive database." ACM SIGMOD Record 23, no. 2 (1994): 512. http://dx.doi.org/10.1145/191843.191970.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ramakrishnan, Raghu, William G. Roth, Praveen Seshadri, Divesh Srivastava, and S. Sudarshan. "The CORAL deductive database system." ACM SIGMOD Record 22, no. 2 (1993): 544–45. http://dx.doi.org/10.1145/170036.171550.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sáenz-Pérez, Fernando. "DES: A Deductive Database System." Electronic Notes in Theoretical Computer Science 271 (March 2011): 63–78. http://dx.doi.org/10.1016/j.entcs.2011.02.011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Vaghanl, Jayen, Kotagiri Ramamohanarao, David B. Kemp, et al. "The aditi deductive database system." VLDB Journal 3, no. 2 (1994): 245–88. http://dx.doi.org/10.1007/bf01228882.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

YAHYA, ADNAN, and JACK MINKER. "QUERY EVALUATION IN PARTITIONED DISJUNCTIVE DEDUCTIVE DATABASES." International Journal of Cooperative Information Systems 03, no. 04 (1994): 385–413. http://dx.doi.org/10.1142/s021821579400020x.

Full text
Abstract:
Query evaluation in disjunctive deductive databases is in general computationally hard. The class of databases for which the process is tractable is severely limited. The complexity of the process depends on the structure of the database as well as on the type of query being evaluated. In this paper we study the issue of simplified query processing in disjunctive deductive databases. We address the possibility of evaluating general queries by independently processing their atomic components and describe the class of databases for which this approach is possible. We also discuss the issue of di
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Deductive database"

1

Kong, Qinzheng. "Incomplete information in a deductive database." Thesis, Heriot-Watt University, 1989. http://hdl.handle.net/10399/927.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cao, Hua. "PDDS : a parallel deductive database system." Thesis, University of Ulster, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.294505.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Barja, Goni Maria Lusia. "A database programming language for a deductive object-oriented database." Thesis, Heriot-Watt University, 1995. http://hdl.handle.net/10399/1335.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Shao, Jianhua. "A study of parallel deductive database systems." Thesis, University of Ulster, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302834.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Hall, Andrew Brian. "DJ: Bridging Java and Deductive Databases." Thesis, Virginia Tech, 2008. http://hdl.handle.net/10919/33383.

Full text
Abstract:
<p>Modern society is intrinsically dependent on the ability to manage data effectively. While relational databases have been the industry standard for the past quarter century, recent growth in data volumes and complexity requires novel data management solutions. These trends revitalized the interest in deductive databases and highlighted the need for column-oriented data storage. However, programming technologies for enterprise computing were designed for the relational data management model (i.e., row-oriented data storage). Therefore, developers cannot easily incorporate emerging data manag
APA, Harvard, Vancouver, ISO, and other styles
6

Luppnow, Andrew James. "Bottom-up evaluation of HiLog in the context of deductive database systems." Master's thesis, University of Cape Town, 1998. http://hdl.handle.net/11427/9585.

Full text
Abstract:
Bibliography: leaves 127-130.<br>HiLog is a logic-based language which boasts the expressiveness of a higher-order syntax while retaining the simplicity of a first-order semantics. This work examines the suitability of Horn-clause HiLog as a query language for deductive databases by investigating the feasibility of adapting well-established Datalog evaluation algorithms for the evaluation of HiLog programs. Each of the evaluation algorithms examined in the work is formally described and verified in terms of completeness and correctness. Furthermore, a practical HiLog evaluator based on each al
APA, Harvard, Vancouver, ISO, and other styles
7

Nardon, Fabiane Bizinella. "Estudo e construção de um sistema gerenciador de banco de dados dedutivo." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1996. http://hdl.handle.net/10183/24105.

Full text
Abstract:
Este trabalho apresenta o estudo e a construção de um Sistema Gerenciador de Bancos de Dados Dedutivos. Um Banco de Dados Dedutivo (BDD) é um Banco de Dados que, alem de sua parte tradicional, ou seja, as informações contidas nas relações básicas, que são explicitamente inseridas, possui um conjunto de regras dedutivas que permite derivar novas informações a partir das relações básicas. Neste trabalho, as deficiências da linguagem de consulta Datalog foram identificadas e, com o objetivo de obter uma linguagem que atenda melhor algumas das necessidades de aplicações do mundo real, foram propos
APA, Harvard, Vancouver, ISO, and other styles
8

Yu, Chaoping. "Query optimization for Federated Database Systems: the Cyrano prototype." Thesis, Virginia Tech, 1996. http://hdl.handle.net/10919/44452.

Full text
Abstract:
The purpose of this research is to improve the performance for the query processing of Cyrano, a prototype deductive object-oriented meta model for Federated Database Systems (FDBSs). The hypothesis was that query optimization techniques such as Semi-Naive algorithm and Magic-Sets Rewrite algorithm could be used to improve the performance of Cyrano prototype query processing. Query optimization has not been used for an FDBS with a deductive object-oriented meta model. Most existing FDBS query optimization techniques are for FDBSs with relational meta models. This research involves two major s
APA, Harvard, Vancouver, ISO, and other styles
9

Desouki, Mohammad Saïd. "Aspects actifs et déductifs dans les bases de données et de connaissances : dérivation et maintenance des attributs." Université Joseph Fourier (Grenoble ; 1971-2015), 1997. http://www.theses.fr/1997GRE10275.

Full text
Abstract:
Les regles deductives et les regles actives dans les bases de donnees, ainsi que l'attachement procedural dans les bases de connaissances, representent des modeles de derivations differents. Le calcul des attributs derives est exprime differemment par les langages de ces modeles. La mise en place des valeurs des attributs derives et la maintenance de ces valeurs sont peu abordees dans ces modeles. Dans une premiere partie, nous montrons plusieurs exemples de systemes dans differents domaines en analysant les incovenients des differentes approches. Dans une deuxieme partie, nous montrons les as
APA, Harvard, Vancouver, ISO, and other styles
10

Sripada, Suryanarayana Murthy. "Temporal reasoning in deductive databases." Thesis, Imperial College London, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.387841.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Deductive database"

1

Nussbaum, Miguel. Building a deductive database. Ablex Pub. Corp., 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Helmut, Schmidt. Meta-level control for deductive database systems. Springer-Verlag, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Neumann, Gustaf. Datenmodellierung mit deduktiven Techniken. Physica-Verlag, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Cao, Hua. PDDS: a parallel deductive database system. The Author], 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

E, Orlowska M., and Papazoglou M. 1953-, eds. Advances in database research: Proceedings of the 4th Australian Database Conference, Brisbane, 1-2 February 1993. World Scientific, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Schmidt, Helmut, ed. Meta-Level Control for Deductive Database Systems. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-53754-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Meskes, Michael. Extending the stratification approach for deductive database systems. Infix, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

ERCIM Database Research Group. Workshop. Sixth ERCIM Database Research Group Workshop on deductive and interoperable databases: November 1-2, 1994, Barcelona, Catalonia, Departament de llenguatges i sistemes informàtics, Universitat Politècnica de Catalunya. European Research Consortium for Informatics and Mathematics, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Raedt, Luc De, Jean-Francois Boulicaut, and Heikki Mannila. Constraint-Based Mining and Inductive Databases: European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers. Springer, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Deductive databases and their applications. Taylor & Francis, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Deductive database"

1

Beynon-Davies, Paul. "Deductive Data Model." In Database Systems. Macmillan Education UK, 2004. http://dx.doi.org/10.1007/978-0-230-00107-7_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Barker, Steve. "Deductive Database Security." In Research Directions in Data and Applications Security. Springer US, 2003. http://dx.doi.org/10.1007/978-0-387-35697-6_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Laurent, D., V. Phan Luong, and N. Spyratos. "Database updating revisited." In Deductive and Object-Oriented Databases. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57530-8_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hahne, K., P. Pilgram, D. Schuett, H. Schweppe, and G. Wolf. "Associative Processing in Standard and Deductive Databases." In Database Machines. Springer New York, 1985. http://dx.doi.org/10.1007/978-1-4612-5144-6_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pons, O., J. M. Medina, J. C. Cubero, and M. A. Vila. "A Fuzzy Deductive Relational Database." In Flexible Query Answering Systems. Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-6075-3_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gonzalez-Rubio, R., J. Rohmer, A. Bradier, and B. Bergsten. "DDC: A Deductive Database Machine." In The Kluwer International Series in Engineering and Computer Science. Springer US, 1988. http://dx.doi.org/10.1007/978-1-4613-1679-4_35.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Sessa, Maria I. "Flexible Querying in Deductive Database." In Lectures on Soft Computing and Fuzzy Logic. Physica-Verlag HD, 2001. http://dx.doi.org/10.1007/978-3-7908-1818-5_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ferreira, Michel, and Ricardo Rocha. "The MyYapDB Deductive Database System." In Logics in Artificial Intelligence. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30227-8_63.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Zukowski, Ulrich, and Burkhard Freitag. "The deductive database system LOLA." In Logic Programming And Nonmonotonic Reasoning. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63255-7_28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Tanca, Letizia. "Query Processing in Deductive Databases." In Encyclopedia of Database Systems. Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_859.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Deductive database"

1

Ma, Xiaoqi. "Database Deductive Access Control." In 2010 WASE International Conference on Information Engineering (ICIE 2010). IEEE, 2010. http://dx.doi.org/10.1109/icie.2010.124.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sagonas, Konstantinos, Terrance Swift, and David S. Warren. "XSB as a deductive database." In the 1994 ACM SIGMOD international conference. ACM Press, 1994. http://dx.doi.org/10.1145/191839.191970.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ramakrishnan, Raghu, William G. Roth, Praveen Seshadri, Divesh Srivastava, and S. Sudarshan. "The CORAL deductive database system." In the 1993 ACM SIGMOD international conference. ACM Press, 1993. http://dx.doi.org/10.1145/170035.171550.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sallach, David L. "A deductive database audit trail." In the 1992 ACM/SIGAPP Symposium. ACM Press, 1992. http://dx.doi.org/10.1145/143559.150704.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Sunderraman, Rajshekhar. "A temporal deductive database model." In the 35th Annual Southeast Regional Conference. ACM Press, 1997. http://dx.doi.org/10.1145/2817460.2817533.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Telnarová, Zdeňka, and Martin Žáček. "Deductive approaches in database systems." In CENTRAL EUROPEAN SYMPOSIUM ON THERMOPHYSICS 2019 (CEST). AIP Publishing, 2019. http://dx.doi.org/10.1063/1.5114046.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Manchanda, S. "Declarative expression of deductive database updates." In the eighth ACM SIGACT-SIGMOD-SIGART symposium. ACM Press, 1989. http://dx.doi.org/10.1145/73721.73730.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sheng, Yeh-Heng. "A non-deterministic deductive database language." In the 1991 ACM SIGMOD international conference. ACM Press, 1991. http://dx.doi.org/10.1145/115790.115817.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Rabuzin, Kornelije. "Deductive Graph Database -- Datalog in Action." In 2015 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, 2015. http://dx.doi.org/10.1109/csci.2015.60.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Choi, Dong-Hoon, and Lawrence J. Henschen. "ON EXCLUSIVE DISJUNCTIONS IN DEDUCTIVE DATABASE." In Proceedings of the 3rd International Symposium on Database Systems for Advanced Applications. WORLD SCIENTIFIC, 1993. http://dx.doi.org/10.1142/9789814503730_0040.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Deductive database"

1

Minker, Jack. Deductive Databases and Knowledge Base Systems. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada295498.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Subrahmanian, V. S. Computation and Implementation of Non-Monotonic Deductive Databases. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada299227.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Subrahmanian, V. S. Computation and Implementation of Non-Monotonic Deductive Databases. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada300824.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!