Log in

Relevant bibliographies by topics / Deductive database / Journal articles

To see the other types of publications on this topic, follow the link: Deductive database.

Journal articles on the topic 'Deductive database'

Author: Grafiati

Published: 4 June 2021

Last updated: 15 February 2022

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

Select a source type:

Consult the top 50 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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

11

Sheng, Yeh-Heng. "A non-deterministic deductive database language." ACM SIGMOD Record 20, no. 2 (1991): 188–97. http://dx.doi.org/10.1145/119995.115817.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Qian, Xiaolei. "The deductive synthesis of database transactions." ACM Transactions on Database Systems 18, no. 4 (1993): 626–77. http://dx.doi.org/10.1145/169725.169716.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Julian-Iranzo, Pascual, and Fernando Saenz-Perez. "A Fuzzy Datalog Deductive Database System." IEEE Transactions on Fuzzy Systems 26, no. 5 (2018): 2634–48. http://dx.doi.org/10.1109/tfuzz.2018.2806923.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Howard Williams, M., and Qinzheng Kong. "Incomplete information in a deductive database." Data & Knowledge Engineering 3, no. 3 (1988): 197–220. http://dx.doi.org/10.1016/0169-023x(88)90016-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Lloyd, J. W., and R. W. Topor. "A basis for deductive database systems." Journal of Logic Programming 2, no. 2 (1985): 93–109. http://dx.doi.org/10.1016/0743-1066(85)90013-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Ramakrishnan, Raghu, and Jeffrey D. Ullman. "A survey of deductive database systems." Journal of Logic Programming 23, no. 2 (1995): 125–49. http://dx.doi.org/10.1016/0743-1066(94)00039-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Spyratos, Nicolas. "The partition model: a deductive database model." ACM Transactions on Database Systems 12, no. 1 (1987): 1–37. http://dx.doi.org/10.1145/12047.22718.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Mozes, Eyal. "A deductive database based on aristotelian logic." Journal of Symbolic Computation 7, no. 5 (1989): 487–507. http://dx.doi.org/10.1016/s0747-7171(89)80030-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Sagonas, Konstantinos, Terrance Swift, and David S. Warren. "XSB as an efficient deductive database engine." ACM SIGMOD Record 23, no. 2 (1994): 442–53. http://dx.doi.org/10.1145/191843.191927.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Ramakrishnan, Raghu, Divesh Srivastava, S. Sudarshan, and Praveen Seshadri. "Implementation of the CORAL deductive database system." ACM SIGMOD Record 22, no. 2 (1993): 167–76. http://dx.doi.org/10.1145/170036.170067.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Vieille, Laurent. "A deductive and object-oriented database system." ACM SIGMOD Record 22, no. 2 (1993): 438. http://dx.doi.org/10.1145/170036.170120.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

ARNI, FAIZ, KAYLIANG ONG, SHALOM TSUR, HAIXUN WANG, and CARLO ZANIOLO. "The deductive database system [Lscr ][Dscr ][Lscr ]++." Theory and Practice of Logic Programming 3, no. 1 (2002): 61–94. http://dx.doi.org/10.1017/s1471068402001515.

Full text

Abstract:

This paper describes the [Lscr ][Dscr ][Lscr ]++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic constructs that extend the functionality of the [Lscr ][Dscr ][Lscr ]++ language, while preserving its model-theoretic and fixpoint semantics. Then, we describe the execution model and the open architecture designed to support these new constructs and to facilitate the integration with existing DBMSs and applications. Finally, we describe the lessons learned by using [Lscr ][Dscr ][Lscr ]++ on various te

APA, Harvard, Vancouver, ISO, and other styles

23

Sharda, Nalin, Refyul Fatri, and Mohammad Abid. "Applying deductive database technology to network management." ACM SIGCOMM Computer Communication Review 27, no. 1 (1997): 42–54. http://dx.doi.org/10.1145/251007.251013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Sáenz-Pérez, Fernando. "Outer Joins in a Deductive Database System." Electronic Notes in Theoretical Computer Science 282 (May 2012): 73–88. http://dx.doi.org/10.1016/j.entcs.2011.12.007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Abiteboul, Serge. "Towards a deductive object-oriented database language." Data & Knowledge Engineering 5, no. 4 (1990): 263–87. http://dx.doi.org/10.1016/0169-023x(90)90016-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Mohania, Mukesh K., and N. L. Sarda. "Rule allocation in distributed deductive database systems." Data & Knowledge Engineering 14, no. 2 (1994): 117–41. http://dx.doi.org/10.1016/0169-023x(94)90041-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Chen, Qiming. "A deductive database approach for complex objects." Journal of Computer Science and Technology 5, no. 3 (1990): 225–35. http://dx.doi.org/10.1007/bf02945310.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Lloyd, J. W., and R. W. Topor. "A basis for deductive database systems II." Journal of Logic Programming 3, no. 1 (1986): 55–67. http://dx.doi.org/10.1016/0743-1066(86)90004-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

GAGNÉ, JEAN-RAYMOND, and JOHN PLAICE. "A Non-standard Temporal Deductive Database System." Journal of Symbolic Computation 22, no. 5-6 (1996): 649–64. http://dx.doi.org/10.1006/jsco.1996.0070.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Medina, J. M., O. Pons, J. C. Cubero, and M. A. Vila. "FREDDI: A fuzzy RElational deductive database interface." International Journal of Intelligent Systems 12, no. 8 (1997): 597–613. http://dx.doi.org/10.1002/(sici)1098-111x(199708)12:8<597::aid-int3>3.0.co;2-f.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

BUCEA-MANEA-TONIS, Radu. "Deductive systems for BigData integration." Journal of Economic Development, Environment and People 7, no. 1 (2018): 49. http://dx.doi.org/10.26458/jedep.v7i1.578.

Full text

Abstract:

The globalization is associated with an increased data to be processed from E-commerce transactions. The specialists are looking for different solutions, such as BigData, Hadoop, Datawarehoues, but it seems that the future is the predicative logic implemented through deductive database technology. It has to be done the swift from imperative languages, to not declaratively languages used for the application development. The deductive databases are very useful in the student teaching programs, too. Thus, the article makes a consistent literature review in the field and shows practical examples o

APA, Harvard, Vancouver, ISO, and other styles

32

BAGAI, RAJIV, and RAJSHEKHAR SUNDERRAMAN. "COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 04, no. 02 (1996): 157–75. http://dx.doi.org/10.1142/s021848859600010x.

Full text

Abstract:

The well-founded model is one of the most popular models of general logic programs, i.e. logic programs with negation in the bodies of clauses. We present a method for constructing this model for general deductive databases, which are logic programs without any function symbols. The method adopts paraconsistent relations as the semantic objects associated with the predicate symbols of the database. Paraconsistent relations are a generalization of ordinary relations in that they allow manipulation of incomplete as well as inconsistent information. The first step in the model construction method

APA, Harvard, Vancouver, ISO, and other styles

33

Chee Keong, Chan, and Chen Yin. "Implementation of a deductive database system using SQLBase." Microprocessors and Microsystems 20, no. 6 (1997): 317–23. http://dx.doi.org/10.1016/s0141-9331(96)01097-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Bell, D. A. "Integrated Deductive Database System Implementation: A Systematic Study." Computer Journal 33, no. 1 (1990): 40–48. http://dx.doi.org/10.1093/comjnl/33.1.40.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Bulter, Greg, and Sridhar S. Iyer. "Towards a deductive database for small simple groups." ACM SIGSAM Bulletin 25, no. 4 (1991): 7–17. http://dx.doi.org/10.1145/122508.122511.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Lei, Li, G. H. Moll, and J. Kouloumdjian. "A deductive database architecture based on partial evaluation." ACM SIGMOD Record 19, no. 3 (1990): 24–29. http://dx.doi.org/10.1145/101077.101082.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

May, W. "Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages." Journal of Logic and Computation 11, no. 4 (2001): 499–525. http://dx.doi.org/10.1093/logcom/11.4.499.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

McLean, Stuart, and Charlotte Weise. "Digress: A deductive interface to a relational database." Journal of the American Society for Information Science 42, no. 1 (1991): 49–63. http://dx.doi.org/10.1002/(sici)1097-4571(199101)42:1<49::aid-asi6>3.0.co;2-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Maskarinec, Martin, and Kathleen Neumann. "Expanding a distributed deductive database with mobile computing." Personal Technologies 1, no. 3 (1997): 182–87. http://dx.doi.org/10.1007/bf01299652.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Ramamohanarao, Kotagiri, and James Harland. "An introduction to deductive database languages and systems." VLDB Journal 3, no. 2 (1994): 107–22. http://dx.doi.org/10.1007/bf01228878.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Monfroglio, Angelo. "Timetabling through a deductive database: A case study." Data & Knowledge Engineering 3, no. 1 (1988): 1–27. http://dx.doi.org/10.1016/0169-023x(88)90002-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Aranda-López, Gabriel, Susana Nieva, Fernando Sáenz-Pérez, and Jaime Sánchez-Hernández. "An extended constraint deductive database: Theory and implementation." Journal of Logic and Algebraic Programming 83, no. 1 (2014): 20–52. http://dx.doi.org/10.1016/j.jlap.2013.07.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

KEMPSON, RUTH, and DOV GABBAY. "Crossover: a unified view." Journal of Linguistics 34, no. 1 (1998): 73–124. http://dx.doi.org/10.1017/s0022226797006841.

Full text

Abstract:

This paper informally outlines a Labelled Deductive System for on-line language processing. Interpretation of a string is modelled as a composite lexically driven process of type deduction over labelled premises forming locally discrete databases, with rules of database inference then dictating their mode of combination. The particular LDS methodology is illustrated by a unified account of the interaction of wh-dependency and anaphora resolution, the so-called ‘cross-over’ phenomenon, currently acknowledged to resist a unified explanation. The shift of perspective this analysis requires is tha

APA, Harvard, Vancouver, ISO, and other styles

44

Kesim, Nihan, and Marek Sergot. "Implementing an Object-Oriented Deductive Database Using Temporal Reasoning." Journal of Database Management 7, no. 4 (1996): 21–34. http://dx.doi.org/10.4018/jdm.1996100103.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Lim, Seung-Jin, and Yiu-Kai Ng. "Vertical fragmentation and allocation in distributed deductive database systems." Information Systems 22, no. 1 (1997): 1–24. http://dx.doi.org/10.1016/s0306-4379(97)00001-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Gryz, Jarek. "An architecture for a parallel disjunctive deductive database system." Data & Knowledge Engineering 28, no. 2 (1998): 233–48. http://dx.doi.org/10.1016/s0169-023x(98)00027-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Cao, T. H., and J. M. Rossiter. "A deductive probabilistic and fuzzy object-oriented database language." Fuzzy Sets and Systems 140, no. 1 (2003): 129–50. http://dx.doi.org/10.1016/s0165-0114(03)00031-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Takagi, Toshihisa, Takahiko Suzuki, Susumu Goto, and Kazuo Ushijima. "Evaluation of a deductive database system for CAD applications." Systems and Computers in Japan 23, no. 13 (1992): 15–27. http://dx.doi.org/10.1002/scj.4690231302.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Shen, Yeh-Heng. "IDLOG: extending the expressive power of deductive database languages." ACM SIGMOD Record 19, no. 2 (1990): 54–63. http://dx.doi.org/10.1145/93605.93621.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Han, Jiawei, and Laks V. S. Lakshmanan. "Evaluation of regular nonlinear recursions by deductive database techniques." Information Systems 20, no. 5 (1995): 419–41. http://dx.doi.org/10.1016/0306-4379(95)00022-v.

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!