Three Decades of Research on Database Design at PUC-Rio

Research on database design at PUC-Rio dates back to the late seventies and covers a broad range of topics, from the early development of the relational model to recent applications of semiotic concepts to the design and specification of information systems. This paper briefly reviews some of the major contributions of the group, from the perspective of the authors. It organizes the contributions according to the data model or to the underlying disciplines that they are based on. Within each section, the presentation follows a chronological order as much as possible.

[1]  Antonio L. Furtado,et al.  Enforcing Inclusion Dependencies and Referencial Integrity , 1988, VLDB.

[2]  Antonio L. Furtado,et al.  Towards a Plan-based Learning Environment , 2003, PGLDB.

[3]  Antonio L. Furtado,et al.  Conceptual modeling of data base operations , 1981, International Journal of Computer & Information Sciences.

[4]  Marco A. Casanova,et al.  StdTrip: Promoting the Reuse of Standard Vocabularies in Open Government Data , 2011 .

[5]  Antonio L. Furtado,et al.  Constructing Libraries of Typical Plans , 2001, CAiSE.

[6]  D. Hubin,et al.  THE JOURNAL OF PHILOSOPHY , 2004 .

[7]  Gilles Fauconnier,et al.  Conceptual Projection and Middle Spaces , 2008 .

[8]  T. Pollock,et al.  A Grammar of Motives. , 1945 .

[9]  Antonio L. Furtado,et al.  An algebra of quotient relations , 1977, SIGMOD '77.

[10]  Antonio L. Furtado,et al.  Formal data base specification: an eclectic perspective , 1984, PODS '84.

[11]  Antonio L. Furtado,et al.  Cooperative Behavior Through Request Modification , 1991, ER.

[12]  Marco A. Casanova,et al.  A Formal System for Reasoning about Programs Accessing a Relational Database , 1980, ACM Trans. Program. Lang. Syst..

[13]  Antonio L. Furtado,et al.  Systematic Derivation of Complementary Specifications , 1981, VLDB.

[14]  Marco A. Casanova,et al.  Towards a sound view integration methodology , 1983, PODS.

[15]  Antonio L. Furtado,et al.  The CHRIS consultant-a tool for database design and rapid prototyping , 1990, Inf. Syst..

[16]  Antonio L. Furtado,et al.  An informal approach to formal specifications , 1983, SGMD.

[17]  Antonio L. Furtado,et al.  Exploiting user models to avoid misconstruals , 1994 .

[18]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[19]  Antonio L. Furtado,et al.  Instance-Based OWL Schema Matching , 2009, ICEIS.

[20]  Simone Diniz Junqueira Barbosa,et al.  Using Analogy to Promote Conceptual Modeling Reuse , 2007, ISoLA.

[21]  Antonio L. Furtado,et al.  Modeling interactive storytelling genres as application domains , 2010, Journal of Intelligent Information Systems.

[22]  Marco A. Casanova,et al.  A Proposal for Formalizing and Extending the Generalization and Subset Abstractions in the Entity-Relationship Model , 1989, ER.

[23]  Simone Diniz Junqueira Barbosa,et al.  Event relations in plan-based plot composition , 2009, CIE.

[24]  Antonio L. Furtado,et al.  Operational Characterization of Genre in Literary and Real-life Domains , 1999, ER.

[25]  Antonio L. Furtado,et al.  Revising the constraints of lightweight mediated schemas , 2010, Data Knowl. Eng..

[26]  Antonio L. Furtado.  Horizontal decomposition to improve a non-BCNF scheme , 1981, SGMD.

[27]  Simone Diniz Junqueira Barbosa,et al.  Conceptual modeling by analogy and metaphor , 2007, CIKM '07.

[28]  Henry A. Kautz,et al.  Reasoning about plans , 1991, Morgan Kaufmann series in representation and reasoning.

[29]  Antonio L. Furtado,et al.  Simulating the Intertaction of Database Agents , 1999, DEXA.

[30]  Marco A. Casanova,et al.  Interoperability by design using the StdTrip tool: an a priori approach , 2010, I-SEMANTICS '10.

[31]  Marco A. Casanova,et al.  On the relational representation of complex specialization structures , 2000, Inf. Syst..

[32]  Antonio L. Furtado,et al.  A software tool for modular database design , 1991, TODS.

[33]  Antonio L. Furtado,et al.  An Informal Approach to Formal (Algebraic) Specifications , 1985, Comput. J..

[34]  Antonio L. Furtado,et al.  Verification and Testing of S-ER Representations , 1981, ER.

[35]  Marco A. Casanova,et al.  Algorithms for Designing and Maintaining Optimized Relational Representations of Entity-Relationship Schemas , 1990, ER.

[36]  Antonio L. Furtado,et al.  A Formal Framework for Modelling at the Behavioural Level , 2000, EJC.

[37]  Antonio L. Furtado,et al.  Plots of narratives over temporal databases , 1997, Database and Expert Systems Applications. 8th International Conference, DEXA '97. Proceedings.

[38]  Antonio L. Furtado,et al.  Towards Simpler and Yet Complete Formal Specifications , 1986, TFAIS.

[39]  Antonio L. Furtado,et al.  Formal aspects of the relational model , 1978, Inf. Syst..

[40]  Antonio L. Furtado,et al.  A logic-based tool for interactive generation and dramatization of stories , 2005, ACE '05.

[41]  R. Wilensky.  Planning and Understanding: A Computational Approach to Human Reasoning , 1983 .

[42]  Bernardo Pereira Nunes,et al.  A Frame-Based System for Automatic Classification of Semi- Structured Data , 2009, RITA.

[43]  Marco A. Casanova,et al.  Database Conceptual Schema Matching , 2007, Computer.

[44]  Simone Diniz Junqueira Barbosa,et al.  A Plot-Manipulation Algebra to Support Digital Storytelling , 2009, ICEC.

[45]  Marco A. Casanova,et al.  An Approach to Maintaining Optimized Relational Representations of Entity-Relationship Schemas , 1996, ER.

[46]  Antonio L. Furtado,et al.  A Temporal Framework for Database Specifications , 1982, VLDB.

[47]  Antonio L. Furtado,et al.  Plan and Schedule Generation over Temporal Databases , 1990, ER.

[48]  Vladimir Propp,et al.  Morphology of the folktale , 1959 .

[49]  Marco A. Casanova,et al.  Matching object catalogues , 2008, Innovations in Systems and Software Engineering.

[50]  Erich J. Neuhold,et al.  A Data Type Approach to the Entity-Relationship Approach , 1979, ER.

[51]  Alexander Borgida,et al.  Logical Database Design: from Conceptual to Logical Schema , 2009, Encyclopedia of Database Systems.

[52]  Marco A. Casanova,et al.  On the Design and Maintenance of Optimized Relational Representations of Entity-Relationship Schemas , 1993, Data Knowl. Eng..

[53]  Marco A. Casanova,et al.  An analysis of SQL integrity constraints from an entity-relationship model perspective , 1994, Inf. Syst..

[54]  Antonio L. Furtado.  Narratives over Real-life and Fictional Domains , 2004, SBBD.

[55]  Marco A. Casanova,et al.  Adaptative Matching of Database Web Services Export Schemas , 2008, ICEIS.

[56]  Antonio L. Furtado,et al.  Analysis and Reuse of Plots Using Similarity and Analogy , 2008, ER.

[57]  Antonio L. Furtado,et al.  Cognitive and affective Motivation in Conceptual Modelling , 2002, Rev. Colomb. de Computación.

[58]  Antonio L. Furtado,et al.  Understanding and Simulating Narratives in the Context of Information Systems , 2002, ER.

[59]  T. Sebeok,et al.  The semiotic web , 1987 .

[60]  Simone Diniz Junqueira Barbosa,et al.  Generalization and Blending in the Generation of Entity-Relationship Schemas by Analogy , 2008, ICEIS.

[61]  Antonio L. Furtado,et al.  Interactive multistage simulation of goal-driven agents , 1999, J. Braz. Comput. Soc..

[62]  Ronald Fagin,et al.  Inclusion Dependencies and Their Interaction with Functional Dependencies , 1984, J. Comput. Syst. Sci..

[63]  Antonio L. Furtado,et al.  Narratives and Temporal Databases: An Interdisciplinary Perspective , 1997, Conceptual Modeling.

[64]  Antonio L. Furtado,et al.  Updating Relational Views , 1985, Query Processing in Database Systems.

[65]  Antonio L. Furtado.  Analogy by generalization—and the quest of the grail , 1992, SIGP.

[66]  Antonio L. Furtado,et al.  OWL schema matching , 2010, Journal of the Brazilian Computer Society.

[67]  Antonio L. Furtado,et al.  Optimization of Relational Schemas Containing Inclusion Dependencies , 1989, VLDB.

[68]  Erich J. Neuhold,et al.  Towards multi-level and modular conceptual schema specifications , 1984, Inf. Syst..

[69]  Antonio L. Furtado,et al.  W-Ray: A Strategy to Publish Deep Web Geographic Data , 2009, ER Workshops.

[70]  Antonio L. Furtado,et al.  Avoiding Misconstruals in Database Systems: A Default Logic Approach , 1993, IEEE Trans. Knowl. Data Eng..

[71]  Antonio L. Furtado,et al.  Towards a Cooperative Question-Answering Model , 1998, FQAS.

[72]  Erich J. Neuhold,et al.  Formal techniques for data base design , 1986 .

[73]  Simone Diniz Junqueira Barbosa,et al.  Similarity and Analogy over Application Domains , 2007, SBBD.

[74]  Marco A. Casanova,et al.  Semantic Web: Concepts, Technologies and Applications (NASA Monographs in Systems and Software Engineering) , 2006 .

[75]  R. Demolombe,et al.  Nonstandard Queries and Nonstandard Answers , 1994 .

[76]  Marco A. Casanova.  Schema Matching Revisited , 2007, SBBD.

[77]  Simone Diniz Junqueira Barbosa,et al.  A Frame Manipulation Algebra for ER Logical Stage Modelling , 2009, ER.

[78]  Simone Diniz Junqueira Barbosa,et al.  A Decision-Making Process for Digital Storytelling , 2010, 2010 Brazilian Symposium on Games and Digital Entertainment.

[79]  Antonio L. Furtado,et al.  On the Problem of Matching Database Schemas , 2012, Conquering Complexity.

[80]  Marco A. Casanova,et al.  The Concurrency Control Problem for Database Systems , 1981, Lecture Notes in Computer Science.

[81]  Antonio L. Furtado,et al.  Permitting updates through views of data bases , 1979, Inf. Syst..

[82]  Antonio L. Furtado,et al.  Generating Narratives from Plots Using Schema Information , 2000, NLDB.