Filters








26,664 Hits in 6.5 sec

Deductive database languages: problems and solutions

Mengchi Liu
1999 ACM Computing Surveys  
In this paper, we discuss these problems from four different aspects: complex values, object orientation, higherorderness, and updates.  ...  Deductive databases result from the integration of relational database and logic programming techniques.  ...  Methods Objects in an object-oriented database are manipulated with methods. A method has a name, a signature, and an implementation.  ... 
doi:10.1145/311531.311533 fatcat:wv53x2zaxvbmpdjsklsgeumfvy

Integrating dynamic aspects into deductive object-oriented databases [chapter]

Wolfgang May, Christian Schlepphorst, Georg Lausen
1997 Lecture Notes in Computer Science  
We s h o w h o w the dynamics of database systems can be modeled by making states rst-class citizens in an object-oriented deductive database language.  ...  The method is applicable to arbitrary object-oriented deductive database languages which provide a su ciently exible syntax and semantics.  ...  Updates and versioning of objects in F-Logic has been presented in KLS92] . There, updates are restricted to the form ins, mod, a n d del of method applications.  ... 
doi:10.1007/3-540-63516-5_15 fatcat:qzqxzhhxpbfqtkxb6s5y5tyeii

Refinable Function : An Object-oriented Approach to Procedure Modularity [article]

Hiun Kim
2021 arXiv   pre-print
In this paper, we present Refinable Function, an object-oriented approach to advanced language-based, symmetric modularity technique for the procedure.  ...  We conceptually compare Refinable Function to existing technique to substantiate benefits of modularity can be implemented in on well-established object-oriented language without compiler support.  ...  Object-oriented Approach The common sense of programming for Imperative programming is algorithm plus data, logic programming is rule plus fact.  ... 
arXiv:1707.02590v2 fatcat:r2ksfcdyunayrl2nmhxvmdueuq

Logical Foundations for Typed Object-Oriented Languages [chapter]

Arnd Poetzsch-Heffter, Peter Müller
1998 Programming Concepts and Methods PROCOMET '98  
These foundations are introduced along with an object-oriented kernel language. We show how object environments of such languages can be formalized in an algebraic way.  ...  This paper presents logical foundations for the most important object-oriented language features, including abstract types, dynamic binding, subtyping, and inheritance.  ...  INTRODUCTION Typed object-oriented programming languages like C++, Java, Eiffel, Oberon, Modula-3, BETA, and Ada95 form an important practical class of languages.  ... 
doi:10.1007/978-0-387-35358-6_26 fatcat:6ysi3tzocbfchm7tk4ehx43o6y

The KIWIS knowledge base management system [chapter]

M. Ahlsen, A. D'Atri, P. Johannesson, E. Laenens, N. Leone, P. Rullo, P. Rossi, F. Staes, L. Tarantino, L. Beirendonck, F. Cadsand, W. Santvliet (+3 others)
1991 Lecture Notes in Computer Science  
An efficient underlying main-memory resident database management system that is tuned to the requirements of the efficient manipulation of large numbers of complex objects and deductive queries.  ...  It should be stressed that in both cases, the imported information is, in the user's or LOCO programmer's view, completely integrated with the local knowledge base.  ...  LOCO is an object-oriented database programming language which models all of these concepts and integrates them with the logic programming paradigm.  ... 
doi:10.1007/3-540-54059-8_81 fatcat:fvsoiijgsfc67nucrjgbwzcnh4

Object-oriented databases: definition and research directions

W. Kim
1990 IEEE Transactions on Knowledge and Data Engineering  
During the past several years, an object-oriented approach to programming and designing complex software systems has received tremendous attention in the programming languages, knowledge representation  ...  Index Terms-Class-composition hierarchy, integration of a programming language and database, class hierarchy, object-oriented data model, object-oriented databases, object-oriented database architecture  ...  One is the integration of an object-oriented programming language with a database system, in effect, support for persistent programming.  ... 
doi:10.1109/69.60796 fatcat:6m7zpgmffbhr7eqnr6ijeuu3lq

Type-theoretic foundations for concurrent object-oriented programing

Naoki Kobayashi, Akinori Yonezawa
1994 SIGPLAN notices  
Since Higher-Order ACL has a strong type system with a polymorphic type inference mechanism, programs of the concurrent object-oriented language can be automatically type-checked by the encoding in Higher-Order  ...  We choose our own Higher-Order ACL as a basic concurrent calculus, and show that a concurrent object-oriented language can be easily encoded in the Higher-Order ACL extended with record operations.  ...  This line of our work has been much improved by conversations with many people including Atsushi Ohori, Jean-Marc Andreoli, Remo Pareschi, Dale Miller, Vijay Saraswat, Samson Abramsky, Simon Gay, and Vasco  ... 
doi:10.1145/191081.191088 fatcat:7kcexsy7wvgg7buqpbpmojjbnq

A survey of languages integrating functional, object-oriented and logic programming

K.W. Ng, C.K. Luk
1995 Microprocessing and Microprogramming  
Functional, object-oriented and logic programming are widely regarded as the three most dominant programming paradigms nowadays.  ...  All possible combinations of the three paradigms, namely logic + object-oriented, functional + logic, functional + object-oriented, and object-oriented + logic + functional, are considered separately.  ...  LIFE LIFE (stands for Logic, Inheritance, Functions and Equations) [AK91b, AKMR92] is a language that combines logic programming and functional programming with a facility for structured type inheritance  ... 
doi:10.1016/0165-6074(94)00017-5 fatcat:wsjk5mpohnd2llne5k5s4i67iu

Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams

F RAMALHO
2004 Electronical Notes in Theoretical Computer Science  
We propose Concurrent Transaction Frame Logic (CTFL), an extension of first-order Horn logic that gives declarative semantics to object-oriented deductive databases, as a language to provide formal semantics  ...  CTFL extends Horn logic with object-oriented class hierarchy and object definition terms, and with three new logical connectives -serial conjunction, concurrent conjunction and atomic modality -that declaratively  ...  CTFL is the straightforward integration of two orthogonal yet synergetic extensions of FOHL: Frame Logic (FL), an object-oriented extension dealing with complex structural modeling with inheritance hierarchies  ... 
doi:10.1016/s1571-0661(04)05016-9 fatcat:e6lqe6jkqnhqdf76dl6dokcasq

A Comparative Analysis of Structured and Object-Oriented Programming Methods

PO Asagba, EE Ogheneovo
2010 Journal of Applied Sciences and Environmental Management  
With the traditional, procedural-oriented/structured programming, a program describes a series of steps to be performed (an algorithm).  ...  The concepts of structured and object-oriented programming methods are not relatively new but these approaches are still very much useful and relevant in today's programming paradigm.  ...  The state of an object in an object-oriented language is primarily internal, or local to the object itself.  ... 
doi:10.4314/jasem.v11i4.55190 fatcat:ba6prdy77beg5c2gslbtari6oa

A Comparative Analysis of Structured and Object-Oriented Programming Methods

PO Asagba, EE Ogheneovo
2010 Journal of Applied Sciences and Environmental Management  
With the traditional, procedural-oriented/structured programming, a program describes a series of steps to be performed (an algorithm).  ...  The concepts of structured and object-oriented programming methods are not relatively new but these approaches are still very much useful and relevant in today's programming paradigm.  ...  The state of an object in an object-oriented language is primarily internal, or local to the object itself.  ... 
doi:10.4314/jasem.v12i4.55217 fatcat:fdf6o46subhovkxipyzethvoeu

Design and implementation aspects of an experimental C++ programming environment

J. Sametinger, S. Schiffer
1995 Software, Practice & Experience  
Providing a programmer with information about an object-oriented software system requires extracting information from the source code, e.g. class, method and variable names.  ...  A good programming language alone is not sufficient for economic software production. The programming environment has a significant influence on the productivity of software engineers.  ...  Language-independent browser The logical structure of object-oriented software systems is very similar regardless of the programming language used.  ... 
doi:10.1002/spe.4380250202 fatcat:s4vby4oolvabffge6js3mjj7yi

A Survey of Object Oriented JavaScript Language

Fowzhia Khan, R. Mallika
2014 International Journal of Computer Applications  
In this work the various object oriented concepts are discussed. The methods and operation supported by the object oriented JavaScript language is likewise talked about.  ...  Many of the programmers move towards object oriented programming languages due to its reusability nature, whereas in procedural programming languages reusability is not allowed, which may contribute to  ...  JavaScript is an effective mechanism that is used to write object oriented programming languages. In the client side programming language which requires a user interaction, JavaScript is mostly used.  ... 
doi:10.5120/18158-9358 fatcat:nun3xx43obbhpisjbmh2rxou3e

Qualities of Grid Computing that can last for Ages

PO Asagba, EE Ogheneovo
2010 Journal of Applied Sciences and Environmental Management  
With the traditional, procedural-oriented/structured programming, a program describes a series of steps to be performed (an algorithm).  ...  The concepts of structured and object-oriented programming methods are not relatively new but these approaches are still very much useful and relevant in today's programming paradigm.  ...  The state of an object in an object-oriented language is primarily internal, or local to the object itself.  ... 
doi:10.4314/jasem.v12i4.55218 fatcat:567g36vd75dmlncjcefi4zdrty

Qualities of Grid Computing that can last for Ages

PO Asagba, EE Ogheneovo
2010 Journal of Applied Sciences and Environmental Management  
With the traditional, procedural-oriented/structured programming, a program describes a series of steps to be performed (an algorithm).  ...  The concepts of structured and object-oriented programming methods are not relatively new but these approaches are still very much useful and relevant in today's programming paradigm.  ...  The state of an object in an object-oriented language is primarily internal, or local to the object itself.  ... 
doi:10.4314/jasem.v11i4.55192 fatcat:zi7ecrgwzzfodgtx343clcweuu
« Previous Showing results 1 — 15 out of 26,664 results