The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco A. Casanova: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado
    A Temporal Framework for Database Specifications. [Citation Graph (29, 10)][DBLP]
    VLDB, 1982, pp:280-291 [Conf]
  2. Marco A. Casanova, Vânia Maria Ponte Vidal
    Towards a Sound View Integration Methodology. [Citation Graph (28, 7)][DBLP]
    PODS, 1983, pp:36-47 [Conf]
  3. Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou
    Inclusion Dependencies and Their Interaction with Functional Dependencies. [Citation Graph (28, 0)][DBLP]
    J. Comput. Syst. Sci., 1984, v:28, n:1, pp:29-59 [Journal]
  4. Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou
    Inclusion Dependencies and Their Interaction with Functional Dependencies. [Citation Graph (23, 24)][DBLP]
    PODS, 1982, pp:171-176 [Conf]
  5. Marco A. Casanova, Philip A. Bernstein
    A Formal System for Reasoning about Programs Accessing a Relational Database. [Citation Graph (21, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1980, v:2, n:3, pp:386-414 [Journal]
  6. Marco A. Casanova, Jose E. Amaral de Sa
    Designing Entity-Relationship Schemes for Conventional Information Systems. [Citation Graph (13, 7)][DBLP]
    ER, 1983, pp:265-277 [Conf]
  7. Ulrich Schiel, Antonio L. Furtado, Erich J. Neuhold, Marco A. Casanova
    Towards multi-level and modular conceptual schema specifications. [Citation Graph (13, 0)][DBLP]
    Inf. Syst., 1984, v:9, n:1, pp:43-57 [Journal]
  8. Marco A. Casanova, Philip A. Bernstein
    The Logic of a Relational Data Manipulation Language. [Citation Graph (9, 17)][DBLP]
    POPL, 1979, pp:101-109 [Conf]
  9. Marco A. Casanova, Luiz Tucherman, Antonio L. Furtado
    Enforcing Inclusion Dependencies and Referencial Integrity. [Citation Graph (8, 19)][DBLP]
    VLDB, 1988, pp:38-49 [Conf]
  10. Marco A. Casanova, Philip A. Bernstein
    General Purpose Schedulers for Database Systems. [Citation Graph (8, 0)][DBLP]
    Acta Inf., 1980, v:14, n:, pp:195-220 [Journal]
  11. Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova
    A Pragmatic Approach to Structured Database Design. [Citation Graph (6, 15)][DBLP]
    VLDB, 1983, pp:219-231 [Conf]
  12. Marco A. Casanova, Luiz Tucherman, Alberto H. F. Laender
    Algorithms for Designing and Maintaining Optimized Relational Representations of Entity-Relationship Schemas. [Citation Graph (5, 12)][DBLP]
    ER, 1990, pp:361-374 [Conf]
  13. Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman
    The CHRIS Consultant. [Citation Graph (5, 12)][DBLP]
    ER, 1987, pp:515-532 [Conf]
  14. Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova
    A Tool for Modular Database Design. [Citation Graph (5, 9)][DBLP]
    VLDB, 1985, pp:436-447 [Conf]
  15. Marco A. Casanova, Jose E. Amaral de Sa
    Mapping Uninterpreted Schemes into Entity-Relationship Diagrams: Two Applications to Conceptual Schema Design. [Citation Graph (5, 0)][DBLP]
    IBM Journal of Research and Development, 1984, v:28, n:1, pp:82-94 [Journal]
  16. Marco A. Casanova, Antonio L. Furtado
    On the Description of Database Transition Constraints Using Temporal Languages. [Citation Graph (4, 0)][DBLP]
    Advances in Data Base Theory, 1982, pp:211-236 [Conf]
  17. Marco A. Casanova, Luiz Tucherman, Antonio L. Furtado, Anelise P. Braga
    Optimization of Relational Schemas Containing Inclusion Dependencies. [Citation Graph (4, 5)][DBLP]
    VLDB, 1989, pp:317-325 [Conf]
  18. Luiz Tucherman, Marco A. Casanova, Pedro M. Gualandi, Anelise P. Braga
    A Proposal for Formalizing and Extending the Generalization and Subset Abstractions in the Enity-Relationship Model. [Citation Graph (3, 8)][DBLP]
    ER, 1989, pp:27-41 [Conf]
  19. Marco A. Casanova, Luiz Tucherman, Maria Julia D. Lima, Jose L. Rangel Netto, Noemi de La Rocque Rodriguez, Luiz Fernando G. Soares
    The Nested Context Model for Hyperdocuments. [Citation Graph (3, 0)][DBLP]
    Hypertext, 1991, pp:193-201 [Conf]
  20. Marco A. Casanova, Paulo A. S. Veloso, Antonio L. Furtado
    Formal Data Base Specification - An Eclectic Perspective. [Citation Graph (3, 3)][DBLP]
    PODS, 1984, pp:110-118 [Conf]
  21. Marco A. Casanova, Luiz Tucherman, Alberto H. F. Laender
    On the Design and Maintenance of Optimized Relational Representations of Entity-Relationship Schemas. [Citation Graph (3, 0)][DBLP]
    Data Knowl. Eng., 1993, v:11, n:1, pp:1-20 [Journal]
  22. Antonio L. Furtado, Marco A. Casanova
    Plan and Schedule Generation over Temporal Databases. [Citation Graph (2, 4)][DBLP]
    ER, 1990, pp:235-248 [Conf]
  23. Maurício R. Mediano, Marco A. Casanova, Marcelo Dreux
    V-Trees - A Storage Method for Long Vector Data. [Citation Graph (2, 17)][DBLP]
    VLDB, 1994, pp:321-330 [Conf]
  24. Alberto H. F. Laender, Marco A. Casanova, A. P. de Carvalho, L. F. G. G. M. Ridolfi
    An analysis of SQL integrity constraints from an entity-relationship model perspective. [Citation Graph (2, 0)][DBLP]
    Inf. Syst., 1994, v:19, n:4, pp:331-358 [Journal]
  25. Philip A. Bernstein, Marco A. Casanova, Nathan Goodman
    Errors in 'Process Synchronization in Database Systems'. [Citation Graph (2, 0)][DBLP]
    SIGMOD Record, 1981, v:11, n:1, pp:9-29 [Journal]
  26. Marco A. Casanova, Andrea S. Hemerly, Antonio L. Furtado
    A Declarative Conceptual Modelling Language: Description and Example Applications. [Citation Graph (1, 0)][DBLP]
    CAiSE, 1992, pp:589-611 [Conf]
  27. Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman
    Transforming Constraints into Logic Programs: A Case Study. [Citation Graph (1, 0)][DBLP]
    DS-2, 1986, pp:137-149 [Conf]
  28. Andrea S. Hemerly, Marco A. Casanova, Antonio L. Furtado
    Cooperative Behavior Through Request Modification. [Citation Graph (1, 12)][DBLP]
    ER, 1991, pp:607-621 [Conf]
  29. Marco A. Casanova
    A Theory of Data Dependencies over Relational Expressions. [Citation Graph (1, 23)][DBLP]
    PODS, 1982, pp:189-198 [Conf]
  30. Marco A. Casanova
    The Theory of Functional and Subset Dependencies Over Relational Expressions. [Citation Graph (1, 0)][DBLP]
    Inf. Process. Lett., 1983, v:16, n:3, pp:153-160 [Journal]
  31. Luiz Tucherman, Marco A. Casanova, Antonio L. Furtado
    The CHRIS consultant-a tool for database design and rapid prototyping. [Citation Graph (1, 0)][DBLP]
    Inf. Syst., 1990, v:15, n:2, pp:187-195 [Journal]
  32. Marco A. Casanova, Antonio L. Furtado, Luiz Tucherman
    A Software Tool for Modular Database Design. [Citation Graph (1, 22)][DBLP]
    ACM Trans. Database Syst., 1991, v:16, n:2, pp:209-234 [Journal]
  33. Lucimar C. Martins, Tatiana A. S. Coelho, Simone Diniz Junqueira Barbosa, Marco A. Casanova, Carlos José Pereira de Lucena
    A Framework for Filtering and Packaging Hypermedia Documents. [Citation Graph (0, 0)][DBLP]
    AH, 2002, pp:274-283 [Conf]
  34. Karin Koogan Breitman, Carolina Howard Felicíssimo, Marco A. Casanova
    CATO - A Lightweight Ontology Alignment Tool. [Citation Graph (0, 0)][DBLP]
    CAiSE Short Paper Proceedings, 2005, pp:- [Conf]
  35. Andrea S. Hemerly, Antonio L. Furtado, Marco A. Casanova
    Towards Cooperativeness in Geographic Databases. [Citation Graph (0, 0)][DBLP]
    DEXA, 1993, pp:373-376 [Conf]
  36. Melissa Lemos, Marco A. Casanova, Luiz Fernando Bessa Seibel, José Antônio Fernandes de Macêdo, Antonio Basílio de Miranda
    Ontology-Driven Workflow Management for Biosequence Processing Systems. [Citation Graph (0, 0)][DBLP]
    DEXA, 2004, pp:781-790 [Conf]
  37. Melissa Lemos, Luiz Fernando Bessa Seibel, Marco A. Casanova
    BioNotes: A System for Biosequence Annotation. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2003, pp:16-20 [Conf]
  38. Ramiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly
    Contributions to a Proof Theory for Generic Defaults. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:213-218 [Conf]
  39. Vânia Maria Ponte Vidal, Marco A. Casanova
    Efficient Maintenance of XML Views Using View Correspondence Assertions. [Citation Graph (0, 0)][DBLP]
    EC-Web, 2003, pp:281-291 [Conf]
  40. Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman
    A Framework for Design/Redesign Experts. [Citation Graph (0, 0)][DBLP]
    Expert Database Conf., 1986, pp:423-438 [Conf]
  41. Marco A. Casanova, A. P. de Carvalho, L. F. G. G. M. Ridolfi, Alberto H. F. Laender
    An Analysis of Table Constraints in SQL2 Based on the Entity-Relationship Model. [Citation Graph (0, 9)][DBLP]
    ER, 1991, pp:623-641 [Conf]
  42. Altigran Soares da Silva, Alberto H. F. Laender, Marco A. Casanova
    An Approach to Maintaining Optimized Relational Representations of Entity-Relationship Schemas. [Citation Graph (0, 9)][DBLP]
    ER, 1996, pp:292-308 [Conf]
  43. Gilberto Câmara, Marco A. Casanova, Ubirajara Moura de Freitas, João Pedro Cerveira Cardeiro, Lauro Hara
    A Presentation Language for GIS Cadastral Data. [Citation Graph (0, 0)][DBLP]
    ACM-GIS, 1996, pp:139-146 [Conf]
  44. Daniela F. Brauner, Marco A. Casanova, Karin Koogan Breitman, Luiz André P. Leme
    Using Gazetteers to Annotate Geographic Catalog Entries. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2006, pp:215-220 [Conf]
  45. Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro
    Explaining SLDNF Resolution with Non-Normal Defaults. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:18-31 [Conf]
  46. Marco A. Casanova, C. M. O. Moura
    Designing Database Applications in Logic Programming. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:235-240 [Conf]
  47. Antonio L. Furtado, Paulo A. S. Veloso, Marco A. Casanova
    A Grammatical Approach to Data Bases. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:705-710 [Conf]
  48. Claudia Bauzer Medeiros, Marco A. Casanova, Gilberto Câmara
    The DOMUS Project - Building on OODB GIS for Environmental Control. [Citation Graph (0, 0)][DBLP]
    IGIS, 1994, pp:45-54 [Conf]
  49. Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva
    Logic Programming with General Clauses and Defaults Based on Model Elimination. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:395-400 [Conf]
  50. Tatiana Almeida S. C. Vieira, Marco A. Casanova, Luis Gustavo Ferrao
    An Ontology-Driven Architecture for Flexible Workflow Execution. [Citation Graph (0, 0)][DBLP]
    WebMedia/LA-WEB, 2004, pp:70-77 [Conf]
  51. Alberto H. F. Laender, Donal J. Flynn, Marco A. Casanova
    On the Mapping of NIAM Schemas into SQL. [Citation Graph (0, 0)][DBLP]
    ORM, 1994, pp:89-102 [Conf]
  52. Tatiana Almeida S. C. Vieira, Marco A. Casanova
    Transactional Behavior of a Workflow Instance. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2006, pp:756-771 [Conf]
  53. Daniela F. Brauner, Marco A. Casanova, Ruy Luiz Milidiú
    Mediation as Recommendation: An Approach to Design Mediators for Object Catalogs. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (1), 2006, pp:46-47 [Conf]
  54. Marco A. Casanova, Arnaldo V. Moura, Luiz Tucherman
    On the Correctness of a Local Storage Subsystem. [Citation Graph (0, 24)][DBLP]
    PODS, 1985, pp:123-134 [Conf]
  55. Maurício R. Mediano, Marco A. Casanova, Marcelo Gattass
    TDA - Um Método para Indexar Topologicamente Atributos Espaciais. [Citation Graph (0, 0)][DBLP]
    SBBD, 1999, pp:269-283 [Conf]
  56. Fábio Meira de Oliveira Dias, Marco A. Casanova, Marcelo Tílio Monteiro de Carvalho
    Workflow Execution in Disconnected Environments. [Citation Graph (0, 0)][DBLP]
    SBBD, 2003, pp:229-239 [Conf]
  57. Melissa Lemos, Marco A. Casanova
    On the Complexity of Process Pipeline Scheduling. [Citation Graph (0, 0)][DBLP]
    SBBD, 2006, pp:57-71 [Conf]
  58. Vânia Maria Ponte Vidal, Marco A. Casanova, Fernando Cordeiro Lemos
    Automatic Generation of SQL/XML Views. [Citation Graph (0, 0)][DBLP]
    SBBD, 2006, pp:221-235 [Conf]
  59. Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva
    Computing Answers to Logic Programs with Weak Model Elimination. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:92-114 [Conf]
  60. Vânia Maria Ponte Vidal, Marco A. Casanova, Valdiana da Silva Araujo
    Generating rules for incremental maintenance of XML view of relational data. [Citation Graph (0, 0)][DBLP]
    WIDM, 2003, pp:139-146 [Conf]
  61. Vânia Maria Ponte Vidal, Valdiana da Silva Araujo, Marco A. Casanova
    Towards Automatic Generation of Rules for Incremental Maintenance of XML Views of Relational Data. [Citation Graph (0, 0)][DBLP]
    WISE, 2005, pp:189-202 [Conf]
  62. Marco A. Casanova, Philip A. Bernstein
    General Purpose Schedulers for Database System. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1981, v:15, n:, pp:471- [Journal]
  63. Marco A. Casanova, Antonio L. Furtado
    String Pattern-Matching in Prolog. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1988, v:13, n:3/4, pp:149-170 [Journal]
  64. Altigran Soares da Silva, Alberto H. F. Laender, Marco A. Casanova
    On the relational representation of complex specialization structures. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 2000, v:25, n:6-7, pp:399-415 [Journal]
  65. Luiz Fernando G. Soares, Noemi de La Rocque Rodriguez, Marco A. Casanova
    Nested Composite Nodes and Version Control in an Open Hypermedia System. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 1995, v:20, n:6, pp:501-519 [Journal]
  66. Andrea S. Hemerly, Marco A. Casanova, Antonio L. Furtado
    Avoiding Misconstruals in Database Systems: A Default Logic Approach. [Citation Graph (0, 1)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1993, v:5, n:6, pp:994-996 [Journal]
  67. Philip A. Bernstein, Marco A. Casanova, Nathan Goodman
    Comments on "Process Synchronization in Database Systems". [Citation Graph (0, 3)][DBLP]
    ACM Trans. Database Syst., 1979, v:4, n:4, pp:545-546 [Journal]

  68. Conceptual modeling by analogy and metaphor. [Citation Graph (, )][DBLP]


  69. Modeling the Mediated Schema Constraints. [Citation Graph (, )][DBLP]


  70. A Frame Manipulation Algebra for ER Logical Stage Modelling. [Citation Graph (, )][DBLP]


  71. Analysis and Reuse of Plots Using Similarity and Analogy. [Citation Graph (, )][DBLP]


  72. A Strategy to Revise the Constraints of the Mediated Schema. [Citation Graph (, )][DBLP]


  73. An Ontology-Based Framework for Geographic Data Integration. [Citation Graph (, )][DBLP]


  74. Coverage Representation in TerraLib. [Citation Graph (, )][DBLP]


  75. An Instance-based Approach for Matching Export Schemas of Geographical Database Web Services. [Citation Graph (, )][DBLP]


  76. Towards Gazetteer Integration Through an Instance-based Thesauri Mapping Approach. [Citation Graph (, )][DBLP]


  77. Desenvolvimento de Sistemas de Informação Geográfica Cooperativos seguindo o Padrão Modelo-Visão-Controle. [Citation Graph (, )][DBLP]


  78. Geo-Object Catalogs to Enable Geographic Databases Interoperability. [Citation Graph (, )][DBLP]


  79. A Mapping-Driven Approach for SQL/XML View Maintenance. [Citation Graph (, )][DBLP]


  80. Adaptative Matching of Database Web Services Export Schemas. [Citation Graph (, )][DBLP]


  81. Generalization and Blending in the Generation of Entity-Relationship Schemas by Analogy. [Citation Graph (, )][DBLP]


  82. Instance-Based OWL Schema Matching. [Citation Graph (, )][DBLP]


  83. Using Analogy to Promote Conceptual Modeling Reuse. [Citation Graph (, )][DBLP]


  84. Semi-automated Workflow Synthesis. [Citation Graph (, )][DBLP]


  85. A Plot-Manipulation Algebra to Support Digital Storytelling. [Citation Graph (, )][DBLP]


  86. Anchors and Links for Nested Composite Nodes. [Citation Graph (, )][DBLP]


  87. Promoting Efficiency and Separation of Concerns through a Hybrid Model Based on Ontologies for Context-Aware Computing. [Citation Graph (, )][DBLP]


  88. Schema Matching Revisited. [Citation Graph (, )][DBLP]


  89. Similarity and Analogy over Application Domains. [Citation Graph (, )][DBLP]


  90. Efficient Decision Procedures for Query Containment and Related Problems. [Citation Graph (, )][DBLP]


  91. Interoperability by design using the StdTrip tool: an a priori approach. [Citation Graph (, )][DBLP]


  92. Event relations in plan-based plot composition. [Citation Graph (, )][DBLP]


  93. Database Conceptual Schema Matching. [Citation Graph (, )][DBLP]


Search in 0.112secs, Finished in 0.115secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002