Jump to content

File:Proof tree for Datalog transitive closure computation.svg

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Original file (SVG file, nominally 249 × 235 pixels, file size: 2 KB)

Summary

Description
English: Proof tree showing the derivation of path(x, z), used in the proof-theoretic semantics of Datalog
Date
Source Own work
Author Siddharthist

Licensing

I, the copyright holder of this work, hereby publish it under the following license:
w:en:Creative Commons
attribution share alike
This file is licensed under the Creative Commons Attribution-Share Alike 4.0 International license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
  • share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.

Captions

Proof tree showing the derivation of path(x, z)

Items portrayed in this file

depicts

6 March 2023

image/svg+xml

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current04:02, 7 March 2023Thumbnail for version as of 04:02, 7 March 2023249 × 235 (2 KB)SiddharthistUploaded own work with UploadWizard

The following 2 pages use this file:

Metadata