Now showing items 1-20 of 35

    • A complete proof procedure for efficient integrity checking in deductive databases 

      Nüssel, Georg; Decker, Hendrik; Celma, Matilde; Casamayor, Juan Carlos (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Conference report
      Open Access
      We presenta proof procedure for checking the integrity of a deductive database. We follow the proposal of Sadri and Kowalski. Our procedure replaces the latter's meta-level rules by inference rules that are implemented ...
    • A derivation path recording method for integrity checking in deductive databases 

      Celma, M.; Casamayor, J.C.; Mota, L.; Pastor, M.A.; Marqués, F. (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Conference report
      Open Access
      A method is presented for checking integrity constraints in a deductive database in which verification of integrity is reduced to determine if the transaction has induced the insertion of sorne inconsistency atom. 1n ...
    • A Formal method for the synthesis of update transactions in deductive databases without existential rules 

      Pastor Collado, Juan Antonio (1994-04)
      Research report
      Open Access
      We propose a new method for generating consistency-preserving transaction programs for (view-)updates in deductive databases. The method augments the deductive database schema with a set of transition and internal event ...
    • A note on the limitations of utilizing modal logic for federated information systems 

      Boman, Magnus (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Conference report
      Open Access
      Recently much effort has been put into using modal logic representation lan­ guages for different kinds of distributed database and distributed problem solving systems. We have ourselves presented an architecture rea!izing ...
    • An approach to monitoring changes in deductive databases 

      Urpí Tubella, Antoni (1991-09)
      Research report
      Open Access
      We propose a method to monitor changes in deductive databases. The method augments a database with a set of transition and events rules, which explicity define the insertions, deletions and modifications induced by a ...
    • An approach to monitoring changes in deductive databases 

      Urpí Tubella, Antoni (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Conference report
      Open Access
      We propose a method to monitor changes in deductive databases. The method augments a database with a set of transition and events rules, which explicitly define the insertions, deletions and modifications induced by a ...
    • An approach to validation of deductive conceptual models 

      Costal Costa, Dolors (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Conference report
      Open Access
      We propose an approach to validation of deductive conceptual models. This validation is performed through plan generation. The objective of plan generation is to determine sequences of events that lead to a certain goal ...
    • Applying transition rules to bitemporal deductive databases for integrity constraint checking 

      Martín Escofet, Carme; Sistac Planas, Jaume (Springer, 1996-07)
      Article
      Open Access
      A bitemporal deductive database is a deductive database that supports valid and transaction time. A set of facts to be inserted and/or deleted in a bitemporal deductive database can be done in a past, present or future ...
    • Combining deductive and active capabilities: a systems perspective 

      Chakravarthy, S. (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Conference report
      Open Access
      Traditionally, database management systems have supported and managed large amounts of shared data (facts or extensional data). Tbis resulted in systems that concentrated on techniques for effi.cient handling of extensional ...
    • Combining the object-oriented approach and the deductive approach for conceptual modelling 

      Quer, Carme (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Conference report
      Open Access
      We propose a language which takes the advantages of the deductive and the object-oriented approaches. This language is easier to use than apure object­ oriented language because it does not require an explicit specification ...
    • Comprobació de restriccions d'integritat en bases de dades deductives bitemporals 

      Martín Escofet, Carme; Sistac Planas, Jaume (1994-03)
      Research report
      Open Access
    • Comprovació de restriccions d'integritat i modificació de vistes en bases de dades deductives 

      Teniente López, Ernest (1991-01)
      Research report
      Open Access
      Aquest treball descriu els conceptes bàsics de les bases de dades deductives i estudia algun dels problemes que aquestes tenen (comprovació de les restriccions d'integritat i modificació de vistes). Abans d'estudiar algunes ...
    • Deduction-based data understanding using graphic logic 

      Kellogg, Charles (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Conference report
      Open Access
      In recent years there have been substantial improvements in the speed, power, and functionality of computer hardware and database management software. Similarly, there has been rapid growth in an ever widening variety of ...
    • Deductive object bases: concept, implementation, applications 

      Jarke, Matthias (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Conference report
      Open Access
      Deductive object bases attempt to combine the advantages of deductive relational databases with those o/ object-oriented data models. We present the definition and architecture o/ such systems, togetlrer with some ...
    • Defining and translating visual schemas for deductive databases 

      Puigsegur, J; Pastor Collado, Juan Antonio; Agustí Segarra, Jordi (1998-06)
      Research report
      Open Access
      We present a visual language expressive enough to capture an important subset of First Order Predicate Logic as well as its straightforward translation to the logic-based paradigm of deductive databases. We use the ...
    • Design and execution of event/action DB applications 

      Loucopoulos, Pericles; Papastamatiou, George; Pantazis, Dionysios; Diakonikolaou, George (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Conference report
      Open Access
      This paper introduces a declarative design formalism for active temporal database applications. Modelling of objects - including time modelling and complex objects - is carried out using the Entity Relationship Time (ERT) ...
    • Formalising existential rule treatment in the automatic synthesis of update transactions in deductive databases 

      Pastor Collado, Juan Antonio (1994-07)
      Research report
      Open Access
      We propose a new method for generating for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database ...
    • Generació i simplificació automàtica de les regles d'esdeveniments interns corresponents a una base de dades deductiva 

      Blecua, José Manuel; Farré Tost, Carles; Urpí Tubella, Antoni (1992-12)
      Research report
      Open Access
    • Gestió previsió pressupostària 

      Mir Gibert, Narcís (Universitat Politècnica de Catalunya, 2011)
      Master thesis (pre-Bologna period)
      Open Access
      Aquest any la nostre universitat EUPMT ha canviat la seva ubicació per un altre de més ampli i adient sota el nom de Tecnocampus. Degut bàsicament, a que l'escola ha anat creixent i l'anterior edifici havia quedat antiquat ...
    • Is there a "right" semantics for negation as failure? 

      Torres, Alberto (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Conference report
      Open Access
      Negation as Failure (NAF) as a nonmonotonic reasoning mechanism has become a central feature of advanced deductive systems. Monotonic deductive systems are not able to express severa! important queries such as those involving ...