António L. Furtado

J. Braz. Comput. Soc., 1999

Operational Characterization of Genre in Literary and Real-life Domains.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 1999

Simulating the Intertaction of Database Agents.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999

1998

Towards a Cooperative Question-Answering Model.

[BibT_eX]

[DOI]

Galeno J. de Sena

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

1997

Narratives and Temporal Databases: An Interdisciplinary Perspective.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 1997

Plots of Narratives over Temporal Databases.

[BibT_eX]

[DOI]

José Helano Matos Nogueira

Proceedings of the Eighth International Workshop on Database and Expert Systems Applications, 1997

1996

A Hybrid Formal Theory of Plan Recognition and Its Implementation.

[BibT_eX]

[DOI]

José de Jesús Pérez Alcázar

Proceedings of the Advances in Artificial Intelligence, 1996

1994

Designing a User-Oriented Query Modification Facility in Object-Oriented Database Systems

[BibT_eX]

[DOI]

Karl Aberer

Wolfgang Klas

Proceedings of the Advanced Information Systems Engineering, 1994

1993

Avoiding Misconstruals in Database Systems: A Default Logic Approach.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1993

Towards Cooperativeness in Geographic Databases.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 4th International Conference, 1993

1992

Analogy by generalization - and the quest of the grail.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1992

A Declarative Conceptual Modelling Language: Description and Example Applications.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 1992

1991

A Software Tool for Modular Database Design.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1991

Cooperative Behavior Through Request Modification.

[BibT_eX]

Proceedings of the 10th International Conference on Entity-Relationship Approach (ER'91), 1991

1990

The CHRIS consultant-a tool for database design and rapid prototyping.

[BibT_eX]

[DOI]

Inf. Syst., 1990

Plan and Schedule Generation over Temporal Databases.

[BibT_eX]

Proceedings of the 9th International Conference on Entity-Relationship Approach (ER'90), 1990

1989

Optimization of Relational Schemas Containing Inclusion Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Conference on Very Large Data Bases, 1989

1988

Iteration for applicative languages.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1988

Towards functional programming in Prolog.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1988

String Pattern-Matching in Prolog.

[BibT_eX]

[DOI]

Comput. Lang., 1988

Enforcing Inclusion Dependencies and Referencial Integrity.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988

Update-Oriented Database Structures.

[BibT_eX]

Proceedings of the Expert Database Systems, 1988

1987

The CHRIS Consultant.

[BibT_eX]

Proceedings of the Entity-Relationship Approach, 1987

1986

A Framework for Design/Redesign Experts.

[BibT_eX]

Proceedings of the Expert Database Systems, 1986

Transforming Constraints into Logic Programs: A Case Study.

[BibT_eX]

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

Towards simpler and yet complete formal specificapions.

[BibT_eX]

Proceedings of the Trends in Information Systems, 1986

1985

An Informal Approach to Formal (Algebraic) Specifications.

[BibT_eX]

[DOI]

T. S. E. Maibaum

Comput. J., 1985

A Tool for Modular Database Design.

[BibT_eX]

[DOI]

Proceedings of the VLDB'85, 1985

Towards Simpler and Yet Complete Formal Specifications

[BibT_eX]

Proceedings of the Information Systems - Theoretical and Formal Aspects, 1985

Updating Relational Views.

[BibT_eX]

Proceedings of the Query Processing in Database Systems, 1985

1984

Generalized set comparison.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1984

Towards multi-level and modular conceptual schema specifications.

[BibT_eX]

[DOI]

Inf. Syst., 1984

Formal Data Base Specification - An Eclectic Perspective.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

Expert Helpers to Data-Based Information Systems.

[BibT_eX]

C. M. O. Moura

Proceedings of the Expert Database Systems, 1984

1983

Multi-level specifications based on traces.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1983

An Informal Approach to Formal Specifications.

[BibT_eX]

[DOI]

SIGMOD Rec., 1983

A Pragmatic Approach to Structured Database Design.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Very Large Data Bases, October 31, 1983

A Grammatical Approach to Data Bases.

[BibT_eX]

Proceedings of the Information Processing 83, 1983

View Constructs for the Specification and Design of External Schemas.

[BibT_eX]

Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83), 1983

1982

Instructional graphics packages to be used with a line printer.

[BibT_eX]

[DOI]

A. A. B. Furtado

F. A. Messeder

ACM SIGCSE Bull., 1982

A Temporal Framework for Database Specifications.

[BibT_eX]

[DOI]

Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

Properties of Conceptual and External Database Schemas.

[BibT_eX]

António Luz Furtado

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

Specification of data bases through rewriting rules.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

Stepwise Construction of Algebraic Specifications.

[BibT_eX]

Proceedings of the Advances in Data Base Theory, 1982

On the Description of Database Transition Constraints Using Temporal Languages.

[BibT_eX]

Proceedings of the Advances in Data Base Theory, 1982

1981

Procedural specifications and implementations for abstract data types.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1981

Horizontal Decomposition to Improve a Non-BCNF Scheme.

[BibT_eX]

[DOI]

SIGMOD Rec., 1981

Dynamic modelling of a simple existence constraint.

[BibT_eX]

[DOI]

Inf. Syst., 1981

Conceptual modeling of data base operations.

[BibT_eX]

[DOI]

T. S. E. Maibaum

Int. J. Parallel Program., 1981

Systematic Derivation of Complementary Specifications

[BibT_eX]

Proceedings of the Very Large Data Bases, 1981

Verification and Testing of S-ER Representations.

[BibT_eX]

Proceedings of the Entity-Relationship Approach to Information Modeling and Analysis, 1981

1980

Towards Constructive Axiomatic Specifications.

[BibT_eX]

[DOI]

Sergio E. R. de Carvalho

Proceedings of the Workshop on Data Abstraction, 1980

1979

Permitting updates through views of data bases.

[BibT_eX]

[DOI]

Kenneth C. Sevcik

Inf. Syst., 1979

Data schemata based on directed graphs.

[BibT_eX]

[DOI]

C. C. Gotlieb

Int. J. Parallel Program., 1979

A Data Type Approach to the Entity-Relationship Approach.

[BibT_eX]

Erich J. Neuhold

Proceedings of the Entity-Relationship Approach to Systems Analysis and Design. Proc. 1st International Conference on the Entity-Relationship Approach, 1979

1978

Formal aspects of the relational model.

[BibT_eX]

[DOI]

Inf. Syst., 1978

Implementing a Data Definition Facility Driven by Graph Grammars.

[BibT_eX]

[DOI]

P. B. Barroso