Semantics of deductive databases with spiking neural P systems.
Daniel Díaz-PernilMiguel A. Gutiérrez-NaranjoPublished in: Neurocomputing (2018)
Keyphrases
- deductive databases
- logic programming
- model theoretic
- integrity constraints
- closed world assumption
- neural network
- integrity checking
- fixpoint
- disjunctive deductive databases
- semantic query optimization
- bio inspired
- stable models
- declarative semantics
- object identity
- formal semantics
- multiple inheritance
- fixpoint semantics
- query evaluation
- spiking neurons
- conjunctive queries
- constraint checking
- high level