An Alternative High-Level Approach to Interaction with Databases

  • António Porto
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6547)


Most applications rely on relational databases for persistence, interacting through SQL embedded in the host programming language. Such code being error-prone and hard to maintain, many proposals have been made to raise its level, mostly in the direction of deductive and/or object-oriented databases. We have put forward an alternative approach, inspired by natural language, that packs a lot of power in very concise and readable code, while relying on standard database technology. This is achieved using the flexible term syntax and deductive capabilities of logic programming, both to compile a database scheme from a high-level description, and to interpret high-level queries and commands.

In this paper we review the basic ideas of the novel approach and concentrate on the interaction language of queries and commands, formalizing its semantics on the basis of characterizing canonical database schemes. These rely on uniform notions of concept, attribute and reference, rather than the dichotomous entity-relationship model. Query and command expressions are variable-free terms, reading very naturally when appropriate nouns (rather than verbs) are chosen for all concept and attribute names. Attribute inheritance and chaining avoid many explicit joins, which are automatically derived as inner or outer joins.

Scheme-derived multi-valued global parameters can flexibly be used for implicit current values. The abstraction power is further raised by having manifold attributes, whose values may actually vary along a parametric domain, the main examples being the handling of temporal validity and multi-lingual data. Commands can also be very high-level, with simple statements possibly resulting in large transactions.


Relational Database Logic Programming Conceptual Scheme Database Scheme Attribute Chain 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Porto, A.: An integrated information system powered by prolog. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 92–109. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Porto, A.: High-level interaction with relational databases in logic programming. In: Gill, A., Swift, T. (eds.) PADL 2009. LNCS, vol. 5418, pp. 152–167. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  3. 3.
    Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)CrossRefGoogle Scholar
  4. 4.
    Liu, M.: Deductive database languages: problems and solutions. ACM Comput. Surv. 31(1), 27–62 (1999)CrossRefGoogle Scholar
  5. 5.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(1), 741–843 (1995)CrossRefzbMATHGoogle Scholar
  6. 6.
    Niemi, T., Järvelin, K.: Prolog-based meta-rules for relational database representation and manipulation. IEEE Transactions on Software Engineering 17(8), 762–788 (1991)CrossRefGoogle Scholar
  7. 7.
    Lenzerini, M., Schaerf, A.: Concept languages as query languages. In: Proceedings of the 9th National Conference on Artificial Intelligence, pp. 471–476. AAAI Press / The MIT Press (1991)Google Scholar
  8. 8.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  9. 9.
    Smith, M.K., Welty, C., McGuinness, D.L.: OWL Web Ontology Language Guide (2004),
  10. 10.
    Antoniou, G., van Harmelen, F.: A Semantic Web Primer, 2nd edn. The MIT Press, Cambridge (2008)Google Scholar
  11. 11.
    Bair, J., Bölen, M.H., Jensen, C.S., Snodgrass, R.T.: Notions of upward compatibility of temporal query languages. Wirtschaftsinformatik 39(1), 25–34 (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • António Porto
    • 1
  1. 1.LIACC / DCC, Faculdade de CiênciasUniversidade do PortoPortugal

Personalised recommendations