1,074 Hits in 4.5 sec

Fibonacci: A programming language for object databases

Antonio Albano, Giorgio Ghelli, Renzo Orsini
1995 The VLDB journal  
A brief introduction to the language is provided to present those features, which are particularly suited to modeling complex databases.  ...  Fibonacci is an object-oriented database programming language characterized by static and strong typing, and by new mechanisms for modeling databases in terms of objects with roles, classes, and associations  ...  Conclusions This article is an introduction to the Fibonacci database programming language.  ... 
doi:10.1007/bf01231643 fatcat:if63zbvo4vczpdxx2x7v6g3wka

Fibonacci: A Programming Language for Object Databases [chapter]

Antonio Albano, Giorgio Ghelli, Renzo Orsini
2000 Fully Integrated Data Environments  
A brief introduction to the language is provided to present those features, which are particularly suited to modeling complex databases.  ...  Fibonacci is an object-oriented database programming language characterized by static and strong typing, and by new mechanisms for modeling databases in terms of objects with roles, classes, and associations  ...  Conclusions This article is an introduction to the Fibonacci database programming language.  ... 
doi:10.1007/978-3-642-59623-0_5 fatcat:o7rhbv42abc25akrejf2t66rli

Page 496 of Mathematical Reviews Vol. , Issue 2001A [page]

2001 Mathematical Reviews  
The Moebius function; 2.13. The Fibonacci numbers; 2.14. Reasoning by induction; 2.15. Solutions of the exercises. 3. An algorithmic description language. 4. How to create an al- gorithm. 5.  ...  The main aim is to provide a theoretical basis for database design. This basis is used for the development of an effective methodology.” Contents: Notation conventions; |. Introduction; 2.  ... 

On type systems for object-oriented database programming languages

Yuri Leontiev, M. Tamer Özsu, Duane Szafron
2002 ACM Computing Surveys  
The concept of an object-oriented database programming language (OODBPL) is appealing because it has the potential of combining the advantages of object orientation and database programming to yield a  ...  The purpose of this article is to answer two questions: "What are the requirements that a modern type system for an object-oriented database programming language should satisfy?"  ...  However, their benchmark was designed to measure the expressibility of a type system for an object-oriented programming language and not for an object-oriented database programming language.  ... 
doi:10.1145/592642.592643 fatcat:mz2t56cf6vcpzisqgsckkgy77a

Welcome to Constraint Handling Rules [chapter]

Thom Frühwirth
2008 Lecture Notes in Computer Science  
As an introduction to CHR as a generalpurpose programming language we present some small programs using different programming styles and discuss their properties.  ...  Constraint Handling Rules (CHR) is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until  ...  between the art of proof search and an efficient programming language.  ... 
doi:10.1007/978-3-540-92243-8_1 fatcat:h5wq2cjwbvfw3fagpbq6fszkta

Fibonacci Based Text Hiding Using Image Cryptography

Manoj Mukherjee, Debabrata Samanta
2014 Lecture Notes on Information Theory  
Real time processing is usually the opposite of offline processing. In offline processing applications, you can record images and process them later.  ...  INTRODUCTION Matlab stands for matrix laboratory, it is high performance multiple-paradigm fourth generation computing language, with easy to use environment.  ...  And the most important element is that "database is inbuilt in MatLab", no need to install additional software to get the database. Meanwhile Coding is user friendly in MatLab.  ... 
doi:10.12720/lnit.2.2.172-176 fatcat:isqsbfkszncbhiea2tlzxejkpa

Efficiency of Engaging Python in Teaching Discrete Mathematics: Case Study

Lamya A. Omer Alani
2016 Al-Nahrain Journal of Science  
By providing students with a python language they could use to understand both discrete mathematics and programming effectively and efficiently in the most appropriate manner, this reduce difficulties  ...  of imagining the logical way of writing programs also give a brilliant way to rise programming skills and give a simple way to study mathematics practically not only theoretically.  ...  Python is easy to learn and very well suited for an introduction to computer programming [3] .  ... 
doi:10.22401/jnus.19.3.18 fatcat:kehcwgwqrjh5nnyrfyjerhfmye

Extensible Objects for Database Evolution: Language Features and Implementation Issues [chapter]

Antonio Albano, Milena Diotallevi, Giorgio Ghelli
2000 Fully Integrated Data Environments  
Several proposals have been made to overcome this limitation. An analysis of these proposals is made to show the impact of more general modeling functionalities on the object implementation technique.  ...  One of the limitations of commercially available object-oriented DBMSs is their inability to deal with objects that may change their type during their life and which exhibit a plurality of behaviors.  ...  Acknowledgements This work has been supported in part by grants from the C.  ... 
doi:10.1007/978-3-642-59623-0_17 fatcat:tgjktekr2rai5birjw5elw3isi

Importing the OEIS Library Into OMDoc

Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase
2015 Lernen, Wissen, Daten, Analysen  
The On-line Encyclopedia of Integer Sequences (OEIS) is the largest database of its kind and an important resource for mathematicians.  ...  Documents contain varied information about each sequence such as the beginning of the sequence, its name or description, formulas describing it, or computer programs in various languages for generating  ...  The authors gratefully acknowledge the foresight of the OEIS foundation to license the OEIS content under a Creative Commons license that allows derivative work like this one and the practical help of  ... 
dblp:conf/lwa/LuzhnicaIK15 fatcat:oxq4qsluhnatjcu5hkohph6l3a

Executable Temporal Logic Systems

1996 Journal of symbolic computation  
Within each section, an introduction to the language and its applications is given, and the significant references and pointers to FTP and WWW sites are provided.  ...  The resulting language, called Chronolog(Z), has an additional operator, prev, to look into the past.  ... 
doi:10.1006/jsco.1996.0073 fatcat:irywl2eukzh6xjuqpcbfqyesri

Book reports

1991 Computers and Mathematics with Applications  
Types for logic programs. 48. Constraint logic programming: From theory to applications. 49. Deductive database systems: Applications and programming. Author index. II. 7. Elastodynamics II. 8.  ...  The Mixtus approach to automatic partial evaluation of full prolog. Part VIII. Constraints. 22. Computation complexity and constraint logic programming languages. 23.  ... 
doi:10.1016/0898-1221(91)90056-a fatcat:orugqwgfgvdd5km6epzzee6urq

Tabulation of functions in definite clause programs [chapter]

Jonas Barklund
1994 Lecture Notes in Computer Science  
An extended version of the applicative caching technique from functional programming is adapted to OLD resolution as an alternative to OLDT resolution for predicates that are actually functions.  ...  An inference system, OLDTF resolution, is given with a proof procedure. It is argued why this special case is interesting in its own right also outside the area of deductive databases.  ...  Introduction In a programming language with referential transparency, an expression can be replaced with any other expression that has the same meaning.  ... 
doi:10.1007/3-540-58402-1_40 fatcat:kqj4lkaaozffxkp2pxqa22npue

The rôle of linear logic in coalgebraical approach of computing

Viliam Slodičák, Pavol Macko
2011 Journal of Information and Organizational Sciences  
While classical logic treats the sentences that are always true or false, in linear logic it depends on an internal state of a dynamic system.  ...  The most important feature of linear logic is that formulae areconsidered as actions.  ...  Acknowledgments This work has been supported by VEGA Grant No.1/0015/10: Principles and methods of semantic enrichment and adaptation of knowledge-based languages for automatic software development.  ... 
doaj:75bab1b9dc2b46558af226dcb0ae2cd8 fatcat:3ftl4xi2evgwxfizt45gjduxyq

Algorithm = logic + control

Robert Kowalski
1979 Communications of the ACM  
An algorithm can be regarded as consisting of a logic component, which specifies the knowledge to be used in solving problems, and a control component, which determines the problem-solving strategies by  ...  The effkiency of an algorithm can often be improved by improving the control component without changing the logic of the algorithm.  ...  The final draft of this paper was completed during a visiting professorship held in the School of Computer and Information Science at the University of Syracuse.  ... 
doi:10.1145/359131.359136 fatcat:e5grt7h5pjcxhgzp7j6vdsrbee

Monadic Memoization towards Correctness-Preserving Reduction of Search [chapter]

Richard Frost
2003 Lecture Notes in Computer Science  
In addition, the resulting memoized programs are amenable to analysis using equational reasoning.  ...  It is anticipated that further work will lead to proof of correctness of the proposed memoization technique.  ...  We follow this with a description of how monadic memoization can be used to improve the complexity of the naive Fibonacci program.  ... 
doi:10.1007/3-540-44886-1_8 fatcat:5jvf7amiavdy7chbl7bs7htxty
« Previous Showing results 1 — 15 out of 1,074 results