Author(s): Ramos, Thiago Mendonça Ferreira
Date: 2015
Origin: Oasisbr
Subject(s): Ciência da Computação; Álgebra relacional; Cálculo relacional; Cálculo de Gentzen; Ciência da Computação; Ciência da Computação; Álgebra relacional; Álgebra relacional; Cálculo relacional; Cálculo relacional; Cálculo de Gentzen; Cálculo de Gentzen
Monografia (graduação)—Universidade de Brasília, Instituto de Exatas, Departamento de Ciência da Computação, 2014.
Submitted by Cristiane Maria Mendes (mcristianem@gmail.com) on 2015-04-01T13:50:39Z No. of bitstreams: 1 2014_ThiagoMendoncaFerreiraRamos.pdf: 1470027 bytes, checksum: 2adf7f5f8601c689982c53ea810465b6 (MD5)
Approved for entry into archive by Ruthlea Nascimento(ruthlea.nascimento@gmail.com) on 2015-04-01T15:22:13Z (GMT) No. of bitstreams: 1 2014_ThiagoMendoncaFerreiraRamos.pdf: 1470027 bytes, checksum: 2adf7f5f8601c689982c53ea810465b6 (MD5)
Made available in DSpace on 2015-04-01T15:22:13Z (GMT). No. of bitstreams: 1 2014_ThiagoMendoncaFerreiraRamos.pdf: 1470027 bytes, checksum: 2adf7f5f8601c689982c53ea810465b6 (MD5)
A Lógica de Primeira Ordem provê técnicas para demonstrar e expressar propriedades de correção sobre sistemas. Entretanto, especificação e formalização são técnicas que tomam muito tempo na construção de software e hardware. Logo, o objetivo é estudar um mecanismo alternativo de especificação e dedução baseado em álgebra relacional, chamado cálculo relacional, e compará-lo com o cálculo de Gentzen, observando tamanhos de provas e de especificações.
The First Order Logic provides techniques to demonstrate and express properties of correctness in systems. However, specification and formalization are techniques that take a lot of time in the construction of software and hardware. Thus, the goal is to study an alternative way of deduction and specification based on relational algebra, called relational calculus, and to compare to Gentzen calculus, seeing sizes of proofs and specifications.
