Presentation is loading. Please wait.

Presentation is loading. Please wait.

Transforming Data by Calculation Author: Professor J.N. Oliveira Presentation by: Mohammadreza Vali zadeh.

Published byMyra Wilkins Modified over 8 years ago

Similar presentations

Presentation on theme: "Transforming Data by Calculation Author: Professor J.N. Oliveira Presentation by: Mohammadreza Vali zadeh."— Presentation transcript:

1 Transforming Data by Calculation Author: Professor J.N. Oliveira Presentation by: Mohammadreza Vali zadeh

2 outline Why data transformation? Introducing the Point-free Transform Data Structures transformation Data Impedance Mismatch conclusion

3 Why data transformation? Watch a calculator

4 … square root Inside a machine these processes happen very much

5 … Such processes happen very much in software systems too. Each layers stay in different programming paradigms (object-oriented database, relational database)

6 … Data transformation: Middle-ware code to bridge the gap between two different technology layers Main motivation for data calculation is the need for data mapping

7 … Different data models can be compared via abstraction and representation Three kinds of fault solution – Loss of data – Confusion among data Data representation – Wrong computation Data processing Helping in preventing any of these from happening in software designs is the main aim of this paper

8 Introducing the Point-free Transform Converting predicate logic formula into binary relations by removing variables and quantifier(Algebra of programming) The main principle of the PF-transform: “everything is a binary relation” ARB

9 Data Structures transformation Data structure: Varity notation, programming language and paradigm

10 … Mapping scenario (transformation) – Type-level mapping of a source data model to a target data model – Two maps (map forward & map backward) between source & target data

11 … – The transcription level mapping of source operation to target operation

12 … Sample: Datatype In haskell: In c:

13 … In haskell:

14 Data Impedance Mismatch Different data models can be compared via abstraction or representation (in transformation) It has complexity The least impedance mismatch is between a data type and itself

15 conclusion Mathematical approach to data transformation is presented Converting data models to each other Try to solve the impedance problem Consequence: finding problems in system Future: Apply transform in practice and Laplace

16 Thank you for your attention

Download ppt "Transforming Data by Calculation Author: Professor J.N. Oliveira Presentation by: Mohammadreza Vali zadeh."

Similar presentations

Debugging in End- User Software Engineering summarized by Andrew Ko Toward Sharing Reasoning to Improve Fault Localization in Spreadsheets Joey Lawrance,

Debugging in End- User Software Engineering summarized by Andrew Ko Toward Sharing Reasoning to Improve Fault Localization in Spreadsheets Joey Lawrance,
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.

ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Course Outline Presentation Term: F09 Faculty Name : Asma Sanam Larik Course Name :INTRO TO COMPUTING Course Code : CSE145 Section :1 Semester : 1.

Course Outline Presentation Term: F09 Faculty Name : Asma Sanam Larik Course Name :INTRO TO COMPUTING Course Code : CSE145 Section :1 Semester : 1.
Compilation by Program Transformation 600.426: Programming Languages Spring 2004.

Compilation by Program Transformation : Programming Languages Spring 2004.
Q1 Review. Other News US News top CS Universities global-universities/computer- science?int=994b08.

Q1 Review. Other News US News top CS Universities global-universities/computer- science?int=994b08.
Stan Lovric CSc214 Fall 2002 Victorian Symbolic Logic John Swartz Victorian Symbolic Logic Paper by John Swartz Presentation by Stan Lovric.

Stan Lovric CSc214 Fall 2002 Victorian Symbolic Logic John Swartz Victorian Symbolic Logic Paper by John Swartz Presentation by Stan Lovric.
Coding. Steps to Success 1.Create a PLAN including a detailed statement of requirements (SORs) 2.Write algorithms based on the SORs 3.Write pseudocode.

Coding. Steps to Success 1.Create a PLAN including a detailed statement of requirements (SORs) 2.Write algorithms based on the SORs 3.Write pseudocode.
Outline About author. The problem that discussed in the article.

Outline About author. The problem that discussed in the article.
CS 355 – Programming Languages

CS 355 – Programming Languages
C. Varela; Adapted w/permission from S. Haridi and P. Van Roy1 Declarative Computation Model Defining practical programming languages Carlos Varela RPI.

C. Varela; Adapted w/permission from S. Haridi and P. Van Roy1 Declarative Computation Model Defining practical programming languages Carlos Varela RPI.
Algorithms and Problem Solving-1 Algorithms and Problem Solving.

Algorithms and Problem Solving-1 Algorithms and Problem Solving.
©TheMcGraw-Hill Companies, Inc. Permission required for reproduction or display. COMPSCI 125 Introduction to Computer Science I.

©TheMcGraw-Hill Companies, Inc. Permission required for reproduction or display. COMPSCI 125 Introduction to Computer Science I.
PDDL: A Language with a Purpose? Lee McCluskey Department of Computing and Mathematical Sciences, The University of Huddersfield.

PDDL: A Language with a Purpose? Lee McCluskey Department of Computing and Mathematical Sciences, The University of Huddersfield.
Satzinger, Jackson, and Burd Object-Orieneted Analysis & Design

Satzinger, Jackson, and Burd Object-Orieneted Analysis & Design
Instruction set architecture Problems Prof. Sin-Min Lee Department of Mathematics and Computer Science.

Instruction set architecture Problems Prof. Sin-Min Lee Department of Mathematics and Computer Science.
C SC 520 Principles of Programming Languages 1 C SC 520: Principles of Programming Languages Peter J. Downey Department of Computer Science Spring 2006.

C SC 520 Principles of Programming Languages 1 C SC 520: Principles of Programming Languages Peter J. Downey Department of Computer Science Spring 2006.
Outline. 1-2 25 Chapter 1 Hardware, Software, Programming, Web surfing, email… Chapter Goals –Describe the layers of a computer system –Describe the concept.

Outline Chapter 1 Hardware, Software, Programming, Web surfing, … Chapter Goals –Describe the layers of a computer system –Describe the concept.
5.7 – Completing the Square. Completing the square Easy case x² + 8x – 5 = 9 x² + 8x – 5 = 9 x² + 8x = 14 x² + 8x + 16 = 14 + 16 (x+4)² = 30 (x+4) = ±√30.

5.7 – Completing the Square. Completing the square Easy case x² + 8x – 5 = 9 x² + 8x – 5 = 9 x² + 8x = 14 x² + 8x + 16 = (x+4)² = 30 (x+4) = ±√30.
COMP313A Programming Languages Introduction. More Housekeeping Stuff Reading Material Textbook –Programming Languages: Principles and Practice by Kenneth.

COMP313A Programming Languages Introduction. More Housekeeping Stuff Reading Material Textbook –Programming Languages: Principles and Practice by Kenneth.
5.7.1 – Complex Numbers. We used the method of square roots to solve specific types of quadratics Only used when we had problems such as x 2 – 16 = 0.

5.7.1 – Complex Numbers. We used the method of square roots to solve specific types of quadratics Only used when we had problems such as x 2 – 16 = 0.

Similar presentations

Ads by Google