Informatica logo


Login Register

  1. Home
  2. Issues
  3. Volume 1, Issue 2 (1990)
  4. Structural synthesis of data processing ...

Informatica

Information Submit your article For Referees Help ATTENTION!
  • Article info
  • More
    Article info

Structural synthesis of data processing programs
Volume 1, Issue 2 (1990), pp. 110–120
Justinas Laurinskas   Gražina Taučaitė  

Authors

 
Placeholder
https://doi.org/10.3233/INF-1990-1207
Pub. online: 1 January 1990      Type: Research Article     

Published
1 January 1990

Abstract

Data processing programs combine computations with navigation in a data base. Methods of the structural synthesis of programs are oriented towards construction of computing programs, and the methods of synthesis of relations are oriented towards construction of (logical) navigation paths. An approach to the integration of methods of the structural synthesis of programs and methods of the synthesis of relations is proposed. This approach is based on a computation model (a set of formulas), describing both computations and navigation paths. The sound and complete system of inference rules for the class of formulas, used in such computation models, is given.

PDF XML
PDF XML

Copyright
No copyright data available.

Keywords
structural synthesis of programs relational data bases synthesis of relations inference rules

Metrics
since January 2020
513

Article info
views

0

Full article
views

374

PDF
downloads

162

XML
downloads

Export citation

Copy and paste formatted citation
Placeholder

Download citation in file


Share


RSS

INFORMATICA

  • Online ISSN: 1822-8844
  • Print ISSN: 0868-4952
  • Copyright © 2023 Vilnius University

About

  • About journal

For contributors

  • OA Policy
  • Submit your article
  • Instructions for Referees
    •  

    •  

Contact us

  • Institute of Data Science and Digital Technologies
  • Vilnius University

    Akademijos St. 4

    08412 Vilnius, Lithuania

    Phone: (+370 5) 2109 338

    E-mail: informatica@mii.vu.lt

    https://informatica.vu.lt/journal/INFORMATICA
Powered by PubliMill  •  Privacy policy