Skip to main content
SpringerLink
Log in

A deductive database approach for complex objects

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

A deductive database approach for complex objects reasoning is proposed, which is characterized by handling predicates nesting in terms of mapping hierarchically structured rules and facts to a flattened Horn-clause implementation scheme.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. Abiteboul and S. Grumbach, Une Approche Logique de la Manipulation d’ objets Complexes, 3e Journees BD3, Port Camargue, 1987.

  2. Al-Amoudi and D. Harper, On Compiling Logic Programming Languages into Conventional Relational Algebra Operations, Internal Report, University of Glasgow, UK, 1987.

    Google Scholar 

  3. K. R. Apt, H. Blair and A. Walker, Towards a Theory of Declarative Knowledge, in J. Minker, editor, Deductive Databases and Logic Programming, Morgan Kaufmann.

  4. F. Bancilhon and S. Khoshafian, A Calculus for Objects Calculus, Proc. PODS, 1986.

  5. C. Beeriet al., Sets and Negation in a Logic Database Language LDL 1, MCC Tec. Rep, 1986.

  6. Q. Chen, A Rule-based Object/Task Modelling Approach, Proc. of ACM-SIGMOD 86 International Conference, 1986, USA.

  7. Q. Chen, An Object/Task Modelling Approach Based On Domain Knowledge and Control Knowledge Representation, Proc. of the ACM-IEEE C/S 1986 Joint Computer Conference, 1986, USA.

  8. Chen and G. Gardarin, An Implementation Model for Reasoning with Complex Objects, Proc. of ACM-SIGMOD 88, USA, 1988.

  9. H. Gallaire, J. Minker and J. Nicolas, Logic and databases: a deductive approach,ACM Computing Surveys,16: 2 (1984).

    Article  MathSciNet  Google Scholar 

  10. S. Khoshafian and G. Copeland, Object Identity, Proc. of OOPSLA 86, 1986.

  11. R. Reiter, Towards a Logical Reconstruction of Relational Database Theory, On Conceptual Modelling, 191–234, Springer-Verlag.

  12. S. Tsur and C. Zaniolo, LDL: A Logic Based Data Language, Proc. of VLDB 12, 1986.

  13. C. Zaniolo, The Representation and Deductive Retrieval of Complex Objects, Proc. VLDB 11, 1985.

Download references

Author information

Authors and Affiliations

  1. Tsinghua University, Beijing

    Chen Qiming

Authors
  1. Chen Qiming
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chen, Q. A deductive database approach for complex objects. J. of Comput. Sci. & Technol. 5, 225–235 (1990). https://doi.org/10.1007/BF02945310

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02945310

Keywords

Search

Navigation